Misc. docker files that aren't project-specific.