See also Mike Lynch obituary: Pioneering tech entrepreneur and Cameron adviser, known as the ‘British Bill Gates’