MultiNest repository change
The "official", and most up-to-date version of MultiNest has now moved from SourceForge to be publicly available on github here. I've updated the Docker files to use this new location. When I've tested this locally with PyMultiNest it seems to work fine.