added Pyrios link

server_ui/templates/docs.html

@@ -22,6 +22,7 @@ ballot was received and counted properly:
 <ul>
 <li> <a href="http://documentation.heliosvoting.org/">technical documentation</a></li>
 <li> <a href="http://www.usenix.org/events/sec08/tech/full_papers/adida/adida.pdf">original peer-reviewed (Usenix Security 2008)</a></li>
+<li> <a href="https://github.com/google/pyrios">Pyrios</a>, a Go library by <a href="http://1.37e2.net/">Tom Roeder</a> that verifies Helios elections.
 <li> <a href="http://www.uclouvain.be/crypto/electionmonitor/default/about">Helios Election Monitor</a>, produced by the Universite catholique de Louvain.</li>
 </ul>