A docker file that has the galatics installed