add missing file

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2207 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Added logging support to minimalExpansionSequents


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2208 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Add getExpansionSequent function to VeriTProver.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2209 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
MaxSAT: fixed outputFormat bug, which occurred due to a change in the supported version of QMaxSAT

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