Add trace equivalence specific files.
minor (typo)
minor (todo to remove)
Add length equivalence specfic files
Merge branch 'examples' into develop
Add todos
Add documentation (should add .tex as well)
First functions for generating dependency constraints.
|| Done:
- term.ml: accessor function to id_nb of names (providing a UID for ground channel);
- process.ml: type of simple traces (contains only ground channels, axioms of
our and recipes of in), generation of simple traces, function displaying them,
looking for a pattern in those traces, generation of dependency constraint of
a process;
- algorithm.ml: display simple traces.

|| Todo:
- constraint_system.ml: function that add a dependency constraint, display,
function testing if a dep. const. holds;
- process.ml: add constraints
- algorithm.ml: adding constraints (where?), testing constraints (where?)
- Tests...
Accessors functions for dependency cst + extract variables from recipes when looking for a pattern.
|| Todo: fix the generation (always 0 cst:/), find out which exception arises
Indentation, commentaire
+ last_action dans process
Update last_action, exploit them for output.
+ exploit compression for input + manage improper blocks
minors modif & corrections
+ before starting trace_equ checking we split processes with par at top level into
multiset of processes + minors + display killed improper traces
Merge branch 'optim-weak-red' into optim-c+r

Conflicts:
	Source/standard_library/process.ml
	Source/standard_library/process.mli
	Source/trace_equivalence/algorithm.ml
typos
Merge branch 'optim-compression' into optim-c+r
Makefile detects modification in modules, trace type (with index), dependency constraints type, generation of dep csts using raw trace
Generate_depend._csts works correctly + minors.