markup language for GTK user interface files