Update minctools
Merge remote-tracking branch 'origin/develop'
Merge remote-tracking branch 'origin/develop'
Fixed git URL to use https for firewall compatibility
re-added BEaST library
Merge branch 'master' into develop