Switched file extension from CSV to TXT

In order to be able to upload the output to the assignment page,
which only accepts the .txt extension for text files.