use Eclipse Target Platform definition to define p2 build dependencies;
use Eclipse Indigo as the build target platform;
store target platform definition in a separate project (supported by Tycho >= 0.16)
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
Merge branch 'target-platform' into isabelle2013