Added <filechooser> widget to OptionsBox, which lets the user choose a file