Disabled settings menu option

No user-selectable settings are planned for release, so menu option is removed. Fixes #86.