Switch to OCaml locations and error reporting

TODO: check for proper unicode support in error reporting

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

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

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Ensure "\n"-terminated input

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

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