Add some parser tests from modim

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Add quoted identifier

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix quoted ide lexing/parsing

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix a misunderstanding about the sedlex API

We cannot access the whole input buffer and have to carry the
payload all along the way.

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Parse String literals

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
start pretty-printing

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Pretty print test results+

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>