Updates for doxygen
Merge branch 'master' of https://github.com/RedString-SRI/Source-Code-RedString