Description of VirtualBox configuration options

Configuration option = Default value	Description
[virtualbox]
port = 18083	(IntOpt) Port on which VirtualBox web service is listening.