Added initial Damgaard-Jurik implementation, and added introductory TeX documentation.