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
Merge remote-tracking branch 'upstream/develop' into develop-devstudio