Module files, module names, and capitalization

I think this has been used many times by projects without problems. I don’t think you’ll run into one as long as you don’t try to have both foobar.ml and fooBar.ml (this wouldn’t work on macos’ case insensitive file system).