BuiltIn: Little doc cleanup.

- Use Unicode escapes instead of module level encoding with non-ASCII chars.
- Whitespace in examples.
INSTALL: Mention Py3 port also under Python installation section