Add new function document_show_message()
Use document_show_message() when a file is externally modified

Two other related changes are that document_set_text_changed() is used to
indicate that the buffer is different from what's on disk and also that
the 'Close' button has been removed from the dialog since the user can easily
just close the document themselves the normal way.
Use document_show_message() when a file is removed from disk

The close button is removed from the dialog also since the user can easily
choose to close the document normally.

Setting default response removed since it's not working yet.
Make locate_sci_in_container() search recursively

Supports changes to the widget heirarchy in the future.
infobars: Make document read-only while infobar is shown.

This avoids accidental changes the file until the infobar is ackowledged. The
document can still be viewed and scrolled through but modifications and saving
are disabled. Of course ignoring the document by changing to another one is
also possible.
infobars: Do not show reload and resave messages more than once since only the
last one (respectively) is significant to the user.
infobars: Cancel "reload file" dialog when spawning the "resave file" one.

When the file was deleted from disk the message that the file is newer on
disk has become out of date and irrelevent.