* Removes detailed Docker build information and addes referral to
  other document.
* Adds referral to document how to run Zonemaster-CLI on Docker.
* Adds editorial updates.