Add todos
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.
fix compression: interleavings as IO1...IOn.In1.In2 are now removed.
Merge branch 'optim-compression' into optim-c+r

Conflicts:
	Source/standard_library/process.ml
Add dependency constraints within strategy: after each apply_output (generate_dep_csts now
makes sure that the trace is of the form ...IN.OUT).
first try for testing dependency constraints
Merge branch 'master' into optim-c+r
Merge branch 'optim-c+r' of github.com:lutcheti/APTE