A simple GTK3 app for re-ordering lines in a file