Build cleanup

1) Fixed an error in the glossary
2) Added makefile for command-line build convenience
3) Removed some .ps (which are intermediate build artifacts and shouldn't be in git)
4) Added newly-built PDFs of the manual and book