Add a .txt extension to doc files

On case-insensitive systems the LEVELS file and levels directory were causing
issues. This also makes it a little easier to read the txt files from GUI file
managers.