Register max cliques decomposer. Update frontend solver protobuf.
Add logging message about selected decomposer.
Fix #11.
Add objective offset. Not yet fully implemented.
Merge pull request #13 from d2rk/fix_11

Fix #11