StatementTransformer: annotations don't include "" anymore, so assertion messages neither

It used to be that because assertion doc annotations literals would include the surrounding
quotes, the messages would be: Assertion failed: "message", but now it is:
Assertion failed: message, so I reflected that in the assertion message for the for range
optimisation.
Marked a test as failing
Fix quotes in .bat file.
Merge pull request #1031 from matejonnet/master

Fixed quotres in .bat file.
upgrade txtmark (support for fenced code block delimited by tilde ~
characters)
ceylondoc: test for fenced code block delimited by tilde ~
characters
Added "exec" to ceylon script so the java command started will have the same PID as the shell script (this is useful for background processing)