write healpy_config file in Dockerfile

Hi Theo, The healpy_config file can be written on fly in Dockerfile, I just did this modification for fun (in figuring out what is docker).

Best,

Merge request reports

Loading