Add SNAPSHOT to pom
change github connection to https
[maven-release-plugin] prepare release idris-0.9.8.1