Add building and usage information to the Wiki or Readme
While there is a page in the Wiki about running the tests with the verification program (https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/wikis/Docs/Running-Test), there is no information about how to build and use the program without stack test, like @kaiprott showed it during the presentation last thursday.
I think a small guide about that would no only be useful to me and the other Bachelor students, who could incorporate or reference the information in the appendix of their thesis, it would also help the possible other students using and/or expanding our program in the future.