Tool for mining stack trace information from GitHub issues (to be added as an opensource project). This tool is based on GHTorrent Dataset (http://ghtorrent.org/)