Linux/gtk builder

I think the move to GtkBuilder was okay and we now have more features in that version, so we can delete this branch :)