Github-Mole: A Tool For Mining Github Contribution Data For Software Engineering Education And Team Formation