more nested stuff
convex polyhedra
interprocedural convex polyhedra
branches for poly
floating-point support for poly
contract linear paths in the cfg with exp.mincfg
making poly more robust
added option to print out cfg with dead code markings: exp.cfgdot + dbg.print_dead_code
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/framework/myCFG.ml
escape label for edges in CFG