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