Various updates and cleanups (including new set of proguard rules)

This includes some changes, including new versions of libraries and tools.
We just keep proguard at 5.0 (see https://issues.scala-lang.org/browse/SI-8931).

More importanlty, it includes vastly improved proguard rules compatible with
recent Scala, LibGDX, LWJGL and Android.