Dr. Geo manual 0.2.0

* Updated Italian manual. Actually the Italian manual is the most
accurante, thanks to the great job of Andrea Centomo.

* Manuals can now be compiled as PDF or HTML only. 