GTK# frontend for Pony framework