Updated GTK Linux project after namespace and NavigationManager changes.
Fixed SplashPresenter for Linux.

Related to issue #404.