removed Vagrant stuff

Vagrantfile

@@ -1,10 +0,0 @@
-# -*- mode: ruby -*-
-# vi: set ft=ruby :
-
-Vagrant.configure("2") do |config|
-  config.vm.box = "ubuntu/xenial64"
-  config.vm.provision "shell", path: "vagrant/provision.sh"
-  config.vm.provider :virtualbox do |v|
-    v.customize ["modifyvm", :id, "--memory", 4096]
-  end
-end

vagrant/as_user.sh

@@ -1,8 +0,0 @@
-#!/bin/sh
-
-echo "export PATH=\"$HOME/.local/bin:$PATH\"" >>~vagrant/.bashrc
-mkdir /vagrant/data
-ln -s /vagrant/data ~vagrant/.mtlstats
-
-cd /vagrant
-stack install

vagrant/provision.sh

@@ -1,10 +0,0 @@
-#!/bin/sh
-
-apt-get update
-apt-get upgrade
-apt-get -y install libghc-ncurses-dev
-wget -qO- https://get.haskellstack.org/ | sh
-
-export HOME=/home/vagrant
-
-sudo -u vagrant /vagrant/vagrant/as_user.sh