satlog.rs: Simple logger for SAT-like solvers

This outputs logs to stdout as DIMACS comments: c WARN: ... c ERR: ...