Use unicode quote characters in error messages etc; fixes #2507

We only use the unicode characters if the locale supports them.
Fix the compiler plugin example; patch from edsko; fixes #7682