JuJu: the portable GNU/Linux distribution