switch vagrant base to ubuntu 15.04

Vagrantfile

@@ -16,15 +16,15 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   end
 
   # Every Vagrant virtual environment requires a box to build off of.
-  config.vm.box = "jfredett/arch-base"
+  config.vm.box = "ubuntu/vivid64"
   config.vm.provision :shell, path: "vagrant-bootstrap.sh"
 
 
   # Create a forwarded port mapping which allows access to a specific port
   # within the machine from a port on the host machine. In the example below,
   # accessing "localhost:8080" will access port 80 on the guest machine.
   config.vm.network :forwarded_port, host: 8080, guest: 8080
-  #Debub port: 
+  #Debub port:
   config.vm.network :forwarded_port, host: 6001, guest: 6001
 
 

vagrant-bootstrap.sh

@@ -1,6 +1,5 @@
 #!/bin/bash
 
-sudo pacman -Syu --noconfirm
-sudo pacman -S git jdk7-openjdk ghc subversion texlive-most vim --noconfirm
-
+sudo apt-get update
+sudo apt-get install -y git openjdk-8-jdk ghc subversion texlive-full vim gcc g++
 sudo ln -fs /vagrant/build/install/GRIT/ /home/vagrant/grit