POM: use GitHub username for developer id
POM: simplify repositories block
Update to pom-loci 1.13