Fix name collision in docs

This release is fixes a name case issue for INSTALL.html on macOS allowing go get and go mod tidy to work properly on macOS where the file system is the default case insensitive.