Added version command line doc, and a new glossary.