Merging conflicts with the makefile
Merge branch 'master' of git@github.com:jesper-bengtson/MirrorCharge.git

Conflicts:
	MirrorCharge!/CoqoonMakefile

Almost done with the quantifier pulling. The exprD'_add_quants_rev_Some
remains to be proven.