add leo-wrapper
make tptp download and extract modular
adding SPASS support
refactor and add support for multiple provers
adapt new config options