Refactor/redesign the GUI, making sure it looks nice on OSX and Linux (and in the future, Windows?). This should be done after #5 and #6.