Add documentation on updating the infrastructure for automated verification (vmchecker)

[razvand]

Automated verification (i.e. the use of vmchecker) requires a clean slate image file, installing check scripts inside the virtual machine and extracting output files. Create documentation for this.