[maven-release-plugin] copy for tag idris-0.9.14

[maven-release-plugin] copy for tag idris-0.9.10-alpha-2

[maven-release-plugin] copy for tag idris-0.9.10-alpha-1

[maven-release-plugin] copy for tag idris-0.9.9

[maven-release-plugin] copy for tag idris-0.9.8.1