Bump to version 0.1.4dev.
Documentation.

Added a glossary and an introduction.