[SQUASHME] fixed typos in README
[SQUASHME] added runnable and documented DesVirt example