A graphical interface for the spigot patcher