adjust Hets-lib and still use Isabelle2012 dependency

@sternk I intend to make a last hets release that depends on Isabelle 2012 so that there is no conflict when packaging Isabelle 2014. I'm not sure if the version selection "(==2012)" will work, though