Merge pull request #1084 from hpcugent/develop

release EasyBuild v1.15.0
added binary maven version, it's a java developer tool, so this should be fine'
clean up unwanted stuff
add more general mirror
fixed typoe
Merge pull request #1094 from JensTimmerman/maven

Maven