Revert "Merge branch 'master' of https://github.com/SoftwareSynthesis/SoftwareEngineeringProject"

This reverts commit 32b0f2ddeff18a0b69c1fd557dafb82af13e33d3, reversing
changes made to 04fd8e92071e3f204f8adb5b7f0fe4715a4ef75d.