Updated deps: requires ocamlgraph as an ocamlfind package
Resolved conflict when merging salsa with horn_encoding. The current branch is the most updated.
Merge branch 'salsa' into merge_salsa_horn_2Postponed conflicts to be solvedConflicts: src/_tags src/backends/Horn/horn_backend.ml src/machine_code.ml src/main_lustre_compiler.ml src/myocamlbuild.ml.in src/optimize_machine.ml
Using ocamlfind to link with ocamlgraph
Plugin based framework
major branche merging salsa/mpfr with trunk
Moved Makefile into src folder