use Tycho 0.16
use reproducible qualifiers for bundles based on Git timestamp
Merge branch 'tycho' into isabelle2012-osgi
Merge branch 'isabelle2012-osgi' into isabelle2013-osgi

Conflicts:
	pom.xml