Docker build files to run PennMUSH