Merge pull request #31 from aelgru/master

Vagrantfile, execution time measuring, clean-up of temporary directories
Ensuring allow_unknown_hosts has a valid value.