add tikz::ui::MainWindow and tikz::ui::View stubs