[TorCheck] add string parsing

[GaiaSaveri]

develop ANTLR string parser for STL

[GaiaSaveri]

Done implementation
TODO:

• cleaning files (checking that commented things are actually useless)
• decide what to do with phis_generator (keep or delete), and consequently which tests to keep