Helper scripts for running/maintaining a Virtual Box VM server