Handle documentation filename conflicts
Conflicting documentation will be installed side by side with a unique filename being created for each one. File system conflicts will be detected in a case-insensitive manner with the appropriate setting.
Fixes #343 (closed).
Requires !465 (merged)