Port GUI Tools to Qt5

...and fix a couple of their bugs along the way...  Now they work on Linux too :)