num_vms ioctl stub
updated nitro.h
ioctl_num_vms() finished
Merge branch 'working'