cmd/frontend: remove header from pages
cmd/frontend: remove header from pages

It’s pretty redundant and we don’t have a complicated navigation
hierarchy.

Change-Id: Ibd7f145fe41140dac9fa72ff9647b7d89c870469
Reviewed-on: https://upspin-review.googlesource.com/7327
Reviewed-by: Rob Pike <4dc7c9ec434ed06502767136789763ec11d2c4b7@google.com>

upspin/upspin,upspin/upspin