vagrant: use 64bit ubuntu instead of 32bit

needed for some package install stuff to come later

note: once this is merged, people will have to redploy if vagrant forces the box to be rebuilt (not sure if it will or not)

it should have always been on 64bit, not sure how I didn't notice this before.