For security use a standard Dockerfile for building programs, not the one given in the user's program repo

[ameba23]

By using the Dockerfile from the user given repository we allow them to run arbitrary stuff on our server. This is bad. We should use a standard one, although this may make it harder to build programs with special build requirements.