Merge pull request #804 from hpcugent/develop

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