Added GPL header to gui.py