A GTK frontend for DOSBox