added a empty vagrant box builder; haveged: include c program to check the value of rdtsc in virtual environments