use new 32bit fedora 18 box built with vagrant 1.3.0 and virturalbox 4.2.16
Update box template, Vagrantfile for 64-bit
Remove useless NFS options
Update documentation.
Merge branch '64bit' into develop