Bug #5382 - Double quotes in tooltips are now escaped with "

Die Anführungszeichen wurden bis jetzt als " escaped, was aber für HTML-Attribute generell nicht funktioniert. Neu ist der Default für doAttribute ESCAPE_WITH_HTML_QUOTE und damit funktioniert es (getestet in Chrome und Firefox). Closes #5382