libvmc.py: added -boot option