layout tweaks
working on rewrite gui
ML now runs from root dir of project
added result set class
added dummy rewrite searching threads, for testing
restarts seach on selection change
rewriter module has everything it needs to do single-rule rewrites
scala frontend is pulling rewrites
rewriting works in Derive
made register_simproc available from the outside
refactored GraphEditController
new derivations start in the correct state
rewrite panel does some layout before displaying graphs
simplify works sorta
now scheduling next simp on event thread, fixes race cond
fixed weird undo bug
add two missing files
removed java 7 dependencies, manual FS polling. fixed race condition when changing root path
added derive icon
added app bundler, removed jacop