Switch to a publically released version of sbt-antlr

Warning: this requires using SBT 0.12.4.

Otherwise, one needs to checkout the plugin from source and release it
locally.