Remove the boot2docker script, and update the docs

With the new tool's usage details.