write-footers-to-file

See write-headers-to-file.

• (send an-editor write-footers-to-file stream) -> boolean
      stream : editor-stream-out% object