gh-proxy-buttons

add a button beside github link(releases,files and repository url), click to get alternative url according to previously specified proxy.

Ekde 2021/03/18. Vidu La ĝisdata versio.