Now making sure cover tool is installed.

And we now obey `-cover=false` (guess that wasn't working). Fixes #188.