SETUP.md: update procedure.
.gitignore: update file list.
vmbuilder: update commit hash.