Fixes for remote file repository handling
Merge branch 'development' of github.com:revbayes/code into development