bindings: add stringification shortcut for problems

Also fixes bugs in the rbsolv example.