A python application to mine GitHub for research data