Switch from usign screen to using tmux, because screen seems to be
buggy and sometimes fails at startup. In particular, screen seems to
always fail on first run after installation on a fresh Debian 7.