Instructions for Debian guest images

Also made a few slight modifications.