FE/Qt: bugref:6699. Renaming file manager 'settings' panel to 'options' panel. We have done this for the logviewer so file manager widget follows the suit