SigmaOS, a web browser for the modern worker, raises £3.4m