Update and rename deb7.sh to debkvm7.sh