The first commit!

I switched the GUI from Swing to JavaFX. So far, it seems like a good
choice.