Improve doxygen docs#819

fabianbs96 wants to merge 2 commits intodevelopmentsecure-software-engineering/phasar:developmentfrom

f-ImproveDocssecure-software-engineering/phasar:f-ImproveDocsCopy head branch name to clipboard