Update COPYING, delete some obsolete files.