Add code_warntype
Add documentation for code_warntype
Merge pull request #9349 from JuliaLang/teh/typewarnings

RFC: highlighting type problems