Make fixed integer comparison unsigned
Push version number
[maven-release-plugin] prepare release idris-0.9.9
[maven-release-plugin] prepare for next development iteration