added Isabelle vesion info.
Reduce warnings
Make PolyML.Project less verbose by default

Messages about the code developers are working on tends to get lost in
Project logs about what heapfiles it is loading.
Allow some control over the output of tests
updated from Isabelle 2013 libraries.
Merge branch 'master' of github.com:Quantomatic/isaplib