Now can output to a text file.

Unsurprisingly, this is MUCH faster than saving to a database. I may make saving
to a text file the default...