Update Vagrant configuration

Better clock skew handling.
Change sha3 package.
Merge branch 'master' of https://github.com/tjim/smpcc
Random() VM instruction in garbled circuits
Merge branch 'master' of https://github.com/tjim/smpcc