Dockerfiles for miscellaneous tools.