Removed ELT and moved Subclipse to SireumDev.
Allowed one to override jvmopts for Eclipse launchers in
sireum.properties with key sireum.launcher.eclipse.jvmopts as comma
separated options for the JVM.
Modified how Osate is launched to ease passing jvm options. Allowed one
to override jvmopts for the Osate launcher in
sireum.properties with key sireum.launcher.osate.jvmopts as comma
separated options for the JVM. Made Osate launcher available in stable.