Change user name saving file name

The plural "names" suggests there will be more than one name. Perhaps a
better, more future-proof name would be user.json.