use Tycho 0.16
use reproducible qualifiers for bundles based on Git timestamp
reproducible qualifiers for Isabelle/Scala bundles as well
Merge branch 'tycho'
script to generate composite repository for Isabelle/Eclipse releases
special build profile to generate composite p2 repository that references to multiple releases
run without Tycho overhead
Merge branch 'composite-repo'
normalised names for Isabelle/Eclipse feature and repository modules: isabelle.eclipse.feature and isabelle.eclipse.repository
Merge branch 'master' into isabelle2013

Conflicts:
	isabelle-scala
	isabelle.eclipse.repository/category.xml
	isabelle.eclipse.repository/pom.xml
	pom.xml