index.html: add a link to the golang port