Navigation bar and user interface improvements

Adds a navigation bar, warnings for opening external pages and non-https URLs, and error pages.

Also adds integration tests, but we'll need to improve test coverage in the future. Nevertheless, merging this branch to move the project forward.

Signed-off-by: Kristóf Marussy kristof@marussy.com