Refactor code to make it easier to access coq file name.
Load GitHub link template, but don't use it yet.
Add GitHub link.

Not working on index yet.