Clone in sections + local clone for modules.
When doing a local clone, force lemmas as local too.
Merge branch '1.0' into sections-pre

Conflicts:
	src/ecThCloning.ml
Fix compilation issue w.r.t previous merge.
Relink module restrictions to local cloning.
Merge branch '1.0' into sections-pre
Merge branch '1.0' into sections-pre

Conflicts:
	src/ecScope.mli
Fix merge conflicts of previous merge.
Fix invalid bound checks in instructions list splitting functions.
Merge branch '1.0' into sections-pre
Theory aliasing while cloning

Conversion of concretes defs. not yet done.
fix small bug for clone theory
Some fix again
Merge branch '1.0' into sections-pre
fix bug in conseq bdhoare
Fixing Dice_Sampling.ec
important change in sim: 
- more readable code 
- syntax of the tactic change a litle
- more flexibility

need to fix the examples
fixing conseq phl hl -> phl
fixing examples
Doc: Adding spot for [phoare split].