Jolicloud renames operating system ‘Joli OS,’ promises new web and Android apps