Adds support for Scala 2.12

This code is run nightly in https://jenkins.scala-ide.org:8496/jenkins/job/master-2.12.0-SNAPSHOT/
Why not `case ShortScalaVersion(major, minor) => {val newMinor = (minor -1); f"$major%d.$newMinor%d"}` ?