Bump up version number for Vagrant-scripts

vagrantSandbox/README

@@ -24,11 +24,11 @@
   One can then connect to the virtual machine with
 : vagrant ssh <machinName>
   and will be in the =$HOME= directory of the user =vagrant= where in
-  the directory =~/foam/foam-extend-3.0= the sources are
+  the directory =~/foam/foam-extend-3.1= the sources are
   available. Modifications can be pushed "outside" the virtual machine
   with
 : hg push
-  There is also a symbolic link =~/foam/foam-extend-3.0-parent=
+  There is also a symbolic link =~/foam/foam-extend-3.1-parent=
   to the sources if you want to edit there directly. Use with care
   and don't compile in that directory unless you know what you're
   doing

vagrantSandbox/initGeneralScript.sh

@@ -23,7 +23,7 @@ chown -R vagrant:vagrant $OFDIR
 # for distros that don't have group vagrant
 chown -R vagrant $OFDIR
 
-OFClone=$OFDIR/foam-extend-3.0
+OFClone=$OFDIR/foam-extend-3.1
 OFReference=$OFClone-parent
 
 OFParent=/FOAM-sources

vagrantSandbox/skel/bootstrapAndTest.sh

@@ -2,10 +2,10 @@
 
 /home/vagrant/bootstrapFoam.sh
 
-cd foam/foam-extend-3.0
+cd foam/foam-extend-3.1
 source etc/bashrc
 
-cd testHarness/foam-extend/3.0/runDir
+cd testHarness/foam-extend/3.1/runDir
 
 ./Allclean
 

vagrantSandbox/skel/bootstrapFoam.sh

@@ -6,7 +6,7 @@ export CCACHE_DIR=/vagrant/ccache4vm
 
 BOOTSTRAPLOG=/home/vagrant/bootstrapFoam.log
 
-cd foam/foam-extend-3.0
+cd foam/foam-extend-3.1
 source etc/bashrc
 
 ( cd wmake/src && make )