Revert settings back to "factory defaults"

[DanielPollithy]

There should be a button that enables users to revert their changes made to the settings file.