docker images for pragma environments
gotty image start: cd ./ubuntu_gotty && ./start.sh
cd ./ubuntu_gotty && ./start.sh