Dockerfile and galaxy tool config