Some useful Docker files.