release EasyBuild v1.13.0