Merge pull request #795 from sjinks/1.2.0

Analyze core dumps on crashes