A Virtual Machine setup for WebGoat