Help users install HAXM if that's all they're missing for Android dev

We intentionally consider a machine without HAXM to be "acceptable"
since HAXM can't be installed on VMs. But we should still let the users
know how to install if if that's what they're missing.