Digital world-beater Arm needs a helping hand from Boris Johnson John Naughton