JuJu: the GNU/Linux distribution container for non-root users