re #8924 Add doc file
Merge branch 'feature/8924_Intrument_file_repo' of github.com:mantidproject/mantid into feature/8924_Intrument_file_repo