Added priority weighting for pages by subtree size.

* Each page now has a weight so that pages with larger subtrees are shown more frequently.
* Updated the Cover page, but it is still not ready to be the main page.
* Various code style improvements.