Warn when tools are missing and allow to override#1337

Merged

bors merged 3 commits intorust-lang:masterfrom nrc:ui-missing-tool

Jan 16, 2018

+308-190

Commits on Jan 11, 2018

Commits on Jan 14, 2018

tests
nrc
committed