SettingsFragment()
Fragment for changing various options, resetting user data and refreshing available symbols.
Author Jan Müller
Author Jonas Thelemann