fixed quotation error in docs of ParseErrorRecovery and optimized getErrorText#2763

jurgenvinju wants to merge 3 commits intomainusethesource/rascal:mainfrom

doc-quotation-errorusethesource/rascal:doc-quotation-errorCopy head branch name to clipboard