Deleting unused include files

These include files are no longer used in this web site.