Add documentation

Add documentation text files. It might be worth it to (re)LaTeXify
the user guide, which is currently a raw dump from the PDF.