Updates to python/gui/*.py files, src/WCPlanes.cc, and include/Util.h