Deducteam / smt2d

Translation from the SMT-LIB language to Dedukti

- Only the first check_sat is processed
- No in-line definition accepted
- Only QF_UF accepted (because no overloading is accepted)