Delete the developer documentation from the www repertory

This documentation is now maintained in the main source repository and the
webserver has been configured to find it there.

development/include/developer.inc:
    Add a comment directing maintainers to the correct location of the
    documentation.  This also includes a brief note about how the webserver
    can find the documentation.

development/developers/allocation.html:
development/developers/bootstrapping.html:
development/developers/bytecode.html:
development/developers/c_coding_standard.html:
development/developers/coding_standards.html:
development/developers/compiler_design.html:
development/developers/developer_intro.html:
development/developers/gc_and_c_code.html:
development/developers/glossary.html:
development/developers/release_checklist.html:
development/developers/reviews.html:
development/developers/todo.html:
development/developers/work_in_progress.html:
    Delete this copy of the documentation.