Dockerfile for deploying gunboard4