Building a self-hosted c9-workspace server (and -proxy) around bash, docker and nginx, with the magically mystical powers of php