[Reviewer: Andy] Add optional repo server command-line parameter to make_ovf.sh

Andy,

Please can you review these fixes to add a repo URL command-line parameter to the `make_ovf.sh` script.  This allows you to specify the repo you want to build from (e.g. to rebuild old OVFs).

Matt