Switching vagrantbox to 64bit

Docker does not support 32bit architectures as per:
https://github.com/dotcloud/docker/issues/136