minor changes in strategy list output
fixed typo in interactive interface
fixed haddock build error
fixed typos in output
pushed version to 2.0.1
-m flag accepts absolute paths
check sat solver after parsing of arguments
LMPO: changed multiset to product status