Merge branch 'maven-repo' into 'master'

Maven repo

At least the snapshot deployment works.
When we are ready to release 1.0, we need to test if this also works, as a release needs to comply with stricter rules.
To see the changed needed on settings.xml, look at #52

See merge request !9