Add startup flags option to the preferences dialog
This adds a new "Startup" tab to the preferences dialog which allows to set the startup flags. Nothing particularly exciting here, but FWIW a screenshot can be found below. Later we may want to add widgets to directly edit the search path and library list on this tab, but for now this will do as a quick and dirty fix for #89 (closed).