RELEASE: Version 0.1.2.
This is a bugfix release:
- Ensure that the PDF docs build correctly, by providing PDF sources as well as SVG sources for images.
- Fix a buggy test that failed on second and subsequent runs.
- Update README and long description text: add PyPI information; add information on prerequisites; remove outdated information.