Merge pull request #387 from hpcugent/develop

release EasyBuild v1.12.0
bump version to v1.13.0dev