Widening makes a new history
Allow to specify start function symbols and compute invariants in kittel
Merge remote-tracking branch 'aristophanes/master'

Conflicts:
	cprocs/ApronInvariantsProc.ml