taeni.vala: use Gtk.Application, add tabs