Add random hostname option

Let the user add information to the hostname from their Vagrantfile.

When on, prevent domain name collisions.

Off by default.

Fixes #215