Updates in vagrant file to have more memory and cpu on virtual machine

dev-tools/vagrant/Vagrantfile

@@ -43,13 +43,14 @@ Vagrant.configure(2) do |config|
   # backing providers for Vagrant. These expose provider-specific options.
   # Example for VirtualBox:
   #
-  # config.vm.provider "virtualbox" do |vb|
-  #   # Display the VirtualBox GUI when booting the machine
-  #   vb.gui = true
-  #
-  #   # Customize the amount of memory on the VM:
-  #   vb.memory = "1024"
-  # end
+  config.vm.provider "virtualbox" do |vb|
+    # Display the VirtualBox GUI when booting the machine
+    # vb.gui = true
+  
+    # Customize the amount of memory on the VM:
+    vb.cpus = 2
+    vb.memory = 4096
+  end
   #
   # View the documentation for the provider you are using for more
   # information on available options.

dev-tools/vagrant/build_bornagain.sh

@@ -4,5 +4,5 @@ git clone git://apps.jcns.fz-juelich.de/BornAgain.git
 mkdir BornAgain-build
 cd BornAgain-build
 cmake ../BornAgain
-make
+make -j4