Changed names.csv to names.txt to avoid improper file format

If someone modfies names.csv which results in a CSV file format (with commas),
the editor would ignore the commas and use the whole line for a name. The names
file format is a plain text, one-name-per-line file. Thus, the extension has
been renamed to ".txt" to avoid confusion.