Started writing documentation in latex. The idea is to generate the web-based documentation (as well as PDF) out of these.