The context-free grammar defining the snarXiv (http://snarxiv.org)