Pushed version number and transferred git ownership to idris-hackers
[maven-release-plugin] prepare release idris-0.9.9