Web directory no longer needed.

The default web/index.html is now created when the quick build script is
run, if no other index.html exists.