new module for ProofProcess target platform definition: Juno + EMF + CDO + Zest + JUnit + Isabelle/Eclipse + CZT
use package-based jUnit dependency (allows easier selection of required bundles)
use target platform for building ProofProcess
generate special target platform definition for PDE use (within Eclipse IDE): use pde-target-maven-plugin to add POM-first dependencies to a target platform definition
dependency required for Scala compilation
dependency required for Scala compilation
upped PDE plugin version to give priority to Maven dependencies to target platform
added a facade to CDO session management to avoid exposing dependencies and the plugin
moved pp.cdo Plugin to internal package to avoid API exposure
Merge branch 'cdo-facade' into target-platform
Merge branch 'target-platform' into isabelle2013
fix Scala 2.10 warnings: explicitly enable implicit conversions; avoid postfix operators without dot