bbox expand op tracks all vertices copied. monotone doomedf will use this
added monotone optimization. not sure if its working correctly yet
monotone symmetry-breaking works
manual merging with old monotone branch
Finished merge branch 'monotone' into bb-monotone

Conflicts:
	core/graph/bang_graph.ML
	core/matching/greedy_match_search.ML
monotone matcher builds. should only be chopping the search on expanded bboxes (i.e. concrete nodes)
simproc seems to be working. oh yeah