Warn if modules / theories only differ by case

[mn200]

This leads to very strange errors on case-insensitive file systems. Also arises if a theory is referenced in one place with one capitalisation and in another with a different one.

[mn200]

Better yet (perhaps?): detect if FS is case-insensitive, record this fact, and then change operations like load to normalise filenames before using then.