A vagrant box to make it easy to run daikon (the dynamic invariant detector) against go code.