vct/server: Improved vm management api