Smaller master pom improvements

This PR suggests to change the master `pom.xml` in the following ways:

* add myself as developer
* give developers the `id`s matching their github username
* add a section for source code management
* add a section for continuous integration
* explicitly set the encoding in the compiler plugin

Please review.