added a method to autopropositional which proves Gamma, F :- F, Delta for arbitrary formulas F. not called from autoprop because it does not handle schematic proofs, but is separately usable as AtomicExpansion(fs:FSequent) (import at.logic.algorithms.lk._)

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1727 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
modified auto propositional to use the non-atomic axiom expansion if possible. might give some speedups.

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