Register max cliques decomposer. Update frontend solver protobuf.
Add logging message about selected decomposer.
Fix #11.
Add objective offset. Not yet fully implemented.