Mythril - Improve formatting of analysis reports

Mythril is a security analysis tool for Ethereum smart contracts, written in Python.

In this simple challenge you'll just make enhancements to the formatting of analysis reports, proposed here: https://github.com/ConsenSys/mythril/issues/108

Final Submission Guidelines

Submit Git patch against the latest commit in the master branch of Mythril repo (d0a3858400b727bdc5c927487e0dcc69ca1ef14d at the moment of writing)