added beginnings of an ML layout algorithm. Added helper functions to the interface of ograph.
Merge branch 'integration' of github.com:Quantomatic/quantomatic into lucas-layout
rtechn theory now has string-edges and shows text for the string-values. Working on layout.
Make compatible with Isabelle-2011-1; added isaplanner_rtechn to the loaded quanto theories.
Save a local copy of theories on load

Also fix numerous theory loading quirks.

As a by-product, each QuantoFrame has its own console.
TheoryParser fixes

Use the document locator, and don't make warnings and recoverable errors fatal.
More robust handling of external files for theories

The external files may be URLs, not just files (eg: JAR resources).
Load default theory from local resource

This way it doesn't matter where we're run from.
Fix logging output
Refactor TheoryParser into TheoryHandler

This allows the caller more control over how parsing happens.
warnings--
TheoryHandler: resolve URLs against system ID if possible
TheoryHandler: pass locator to SAXParseException
Organise imports
Make theory parsing more robust

Alters the theory format a little: we now have svg-style colours ('#'
before hex and SVG colour names), and there is an extra (optional)
"friendlyname" attribute, for user display.
Put netbeans stuff in build.xml

I believe this shouldn't affect anyone without netbeans, but will allow
NetBeans users to avoid having to put in the debug and profiling targets
themselves.
Update the theory name properly
Scrap friendlyname, and use name instead in theory defs

It's better to deterministicly generate a filesystem-safe internal name
if necessary than have one chosen by the creator.
TheoryHanlder: Complain when required attrs are empty
Make Theory a concrete class and remove Core.CoreTheory