Use JSON/YAML/Something for user prefs

[apocalyptech]

Right now, user prefs are stored in a general.options file which sort-of resembles a CSV but isn't really. It'd probably be nice to convert that over to a more sensible format. https://github.com/FasterXML/jackson might be a good library to use for that purpose.