new Isabelle/Eclipse p2 location
use reproducible qualifiers for bundles based on Git timestamp