Changed eclipse base to Itemis' Eclipse DSL builds that ship with a
newer Xtext version.
Added antlr4ide.
Added script for packaging ADT.
Removed permgen argument in all launchers.
Updated Scala to 2.10.4 and Scala IDE to 3.0.3 RC1.
Moved vrapper out of SireumDev to its own Vim feature.
Updated to Scala IDE stable (3.0.3).