Add script from Bruno Abinader to count pull requests from github
Integrate github submission tracking from Bruno