update repository url to new github location

update repository url in Tools/build* and pom.xml