Drop no longer needed doc file

The request-file-format file described some initial brainstorming
and discussion of the format of the request file.  Now that the
request file parsing is implemented and documented, it is no longer
needed.