adjust Hets-lib and still use Isabelle2012 dependency
use isabelle-installer
switch back to isabelle dependency
Merge pull request #1368 from spechub/debian_packaging

adjust Hets-lib and (possibly) change Isabelle dependency