Implement a simple search function and slightly reorganize the navigation. Fixes #3.