Fixed maven github plugin version nr
Increased version nr to 1.1.1-SNAPSHOT
Merge branch 'develop' of https://github.com/eishub/blocksworld into develop