read-footer-from-file in editor<%>

See read-header-from-file.

• (send an-editor read-footer-from-file stream name) -> boolean
     stream : editor-stream-in% object
     name : string