Motivation:
The script to generate the contributors list wasn't executable and
forgot to change to the correct directory before invoking `git`.
Modifications:
- make `scripts/generate_contributors_list.sh` executable
- correctly change directory before invoking git
Result:
it's now possible to invoke the script without explicitly running `bash`
and it's no longer important what directory one invokes the script from.
Problem: contributors.txt file is out of date
Cause: it is a tedious job to edit this file manually everytime a new person contributes to the project
Solution: create a shell script that extracts all contributors from the git repository and adds it to the contributors.txt file
Johannes Weiß