script for installing Isabelle2014 and ProofGeneral under Ubuntu