Remove references to the web directory.

These changes are required since the site was moved to Github pages.