split smtlib-backends's Process module into its own library
- move the logger function into it
- make it an instance of the
Defaulttypeclass
- move the logger function into the
Configdatatype - don't prefix error messages with
[stderr]
- add usage examples
- make compatible with
smtlib-backends-0.2
- improve documentation