arXiv: create an issue in GitHub

Provide a button to create new issue in GitHub

Per 11-08-2020. Zie de nieuwste versie.

Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.