Manual inputs are provided via a human-readable json file which is
under version control. The parameters.txt file is now completely
auto-generated and shouldn't be manually edited. All edits
happen to the json file. This makes sure formatting and data
are separated properly and git changes are minimal.