add "Pure" JARs from Isabelle2014-RC1
Isabelle session "Isabelle_Leon" for processing Leon commands
early prototype of an Isabelle solver