basic docker file for galaxy dist