treat unicode line and paragraph seperators as newlines

it seems that is the standard behaviour now
this will also enable to send formulas over the ProB parser
repl in a single line, using 8232 as line seperator

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>