host: programmatically enable/disable host discovery

Related to #359

Conflicts:
	async/Async_NetKAT_Controller.ml
	async/Async_NetKAT_Controller.mli