Opt enum example

[rkaminsk]

This example shows how to resume enumeration after all optimal models have been enumerated.

TODO

• [x] add support for priorities
• [x] document