Make BoostEnvironment's _nextVMIdentifier atomic
Protect the vms list with a mutex

* This is rather heavy weight but it is needed
  if we want the ability to remove vms.
* _nextVMIdentifier needs not be atomic anymore
  since it is also protected by the mutex.