Merge pull request #940 from hpcugent/develop

release EasyBuild v1.13.0
bump version to 1.13.1dev
don't reorder $MODULEPATH entries or filter out duplicate entries, since it may cause trouble