A Vala/Gtk+ graphical user interface for Tox