fix encoding in pretty formatter indentation
fix encoding in junit serialization
FIX some unicode-related problems when Umlaute/accented special chars (outside ASCII char range) are used.
Add self-test for issue #152