Dockerfiles to build Galaxy images