Connectors processing

Here we are \o/

If the merging fails, please let me look at the conflicts and perform the merge.

Some modifications:
  - demo6.py, treeTranslation.py and tripleProduction.py disappear
  - demo7.py becomes demo6.py
  - normalize.py contains the new algo of triples production
  - typing is not supported for the moment
  - triple production rules t0, t1, t2 ... have been renamed into R0, R1, R2...
  - Sort connector is partially implemented (only 2 superlatives are taken into account: biggest and largest)