Make the default doc index file path compiler/arch/os-dependent.

Fixes #2135.
Merge pull request #2136 from 23Skidoo/issue-2135

Make the default doc index file path compiler/arch/os-dependent.