port to Isabelle2014
script for installing Isabelle2014 and ProofGeneral under Ubuntu
added jedit for Isabelle proving
added missing -b flag
HOLCF is needed for other Isabelle tools
use isabelle-installer
Merge branch 'master' into Isabelle2014

Conflicts:
	Isabelle/IsaProve.hs
Merge branch 'Isabelle2014'