Minor GUI Changes

- Added keyboard shortcuts to the file menu
- Made the font used throughout the GUI consistent; previously two
different fonts were used (the default, and a custom choice for output).
Now the whole application uses the same font as the output.