Debian 7.5 docker install script