Added virtual machines APIs

- Added the APIs to IServiceManagement.php
- Updated ServiceManagementRestProxy.php to implement the new APIs