poshed scala maven plugin to latest version, compile without zinc works again

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2128 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
a (hopefully correct) bugfix for prover9 parsing with nonclausal input formulas - before the formulas extracted came from a step before skolemization happened. 

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2129 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
adding focuing on a subproof as an alternative to zooming to the sunburst view

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2130 85d21ef8-add0-11de-ae77-5bfb9c5a3f34