Allow links to be specified to the source files, which will be
converted correctly by GitHub, by ensuring the sphinx generation then
transforms the link from the source file to the correct output file
depending on the builder used.
Change-Id: I18ac055fc6d44982048365cad819f891786484a8
1f10853f24