renamed settings.lua, because I want to have a generic non-gui settings.lua
created new settings.lua to handle behind-the-scenes settings (/options; we're not using this consistently), for example, saving