Fix of documentation related problems

* Updated usage of short names for generated documentation files
* Fixed management of pdflatex return code 
* Fixed naming of Doxygen variables
* Fixed LaTeX stylesheet