Shell script fixes to quote "$0" properly in case it includes spaces.
Backslash-escape special characters in Maude "load" commands.

In particular, this is needed when working with files in directories
containing spaces.  Backslash-escaping in this manner is supported by
Maude 2.4 or later, per <http://maude.cs.uiuc.edu/versions/2.4/Changes>.