Part of #3486 concerning semantics tests (i.e. "end-to-end"-tests).

Similarly to #3644 the semantics tests (resp. end-to-end tests) should be extracted into individual files. ìsoltest should support running the semantics tests interactively.

This issue is meant to discuss the syntax of the test expectations and the encoding of arguments and expected results.