add: Use Gtk.Stack for main content and Gtk.Revealer from Gtk 3.10, to show
animations, when changing pages and let the infobar slide down.