Added vagrant config for easy benchmarking. C benchmarks now write to /dev/shm. All systems a-go.