POM: use tabs instead of spaces
POM: use GitHub username for developer id
POM: simplify repositories block
POM: tweak SCM section
Update to pom-loci 1.13