Minor cleanup
Fix circular dependency issues (fixes #100)
Update driver usage to mention -m (fix #101)
Remove mention of mypy.py from usage text

Use just 'mypy' instead.

The file mypy.py no longer exists. However, we don't want to mention
driver.py either, since the name should not be user-visible.