Please add github links in generated bug report

[mquinson]

Hello,

it'd be cool if we could have some more information in the issues opened with the interface. In particular:

• the server IP (to check whether it's on our server or another server)
• last commit id, or even better, a link to the student code on github, as follows:
  • Student code: https://github.com/BuggleInc/PLM-data/blob/cd3a3c439a252d22f91e957ae37a86ae2c78c564/maze.pledge.PledgeMaze.scala.code
  • Reported error: https://github.com/BuggleInc/PLM-data/blob/cd3a3c439a252d22f91e957ae37a86ae2c78c564/maze.pledge.PledgeMaze.scala.error
  • Correction: https://github.com/BuggleInc/PLM-data/blob/cd3a3c439a252d22f91e957ae37a86ae2c78c564/maze.pledge.PledgeMaze.scala.correction

I'm not sure of how to generate these URLS, I found them by clicking on the last, commit then "browse files" then on the files I was interested in.

Thanks