Specify a binding version, and use the checkout script to clone VM repo#7

qinsoon merged 2 commits intomainmmtk/mmtk-dev-env:mainfrom

binding-version-and-checkout-scriptmmtk/mmtk-dev-env:binding-version-and-checkout-scriptCopy head branch name to clipboard