Fix Dockerfile for new repo layout

This works in a `docker run`, maybe you can sanity-check it. @discordianfish, @juliusv.
spurious empty line at end of file?