Tweak navigation.
Add Dockerfile documentation.