=pro #3852 scaladoc generation: add a link to source file on github.

Add the option to scaladoc tool to link to github.