Jolicloud 1.0, a Linux distro in progress