Updated README, first test of CI in opensrc path

ubuntu16_files/README.txt

-
-Steps to installing.
-
-	0) Unpack the tarball (likely called zipr_toolchain.tgz) -- you must have done this already 
-		to be reading this!
-	1) Switch to the directory created during unpacking. i.e., cd zipr_toolchain
-	2) Run "source set_env_vars"
-	3) Run "./ubuntu16_files/install.sh" in this directory -- lots of packages 
-		will be installed.
-	4) Copy your ida.key for IdaPro7.0 to ./idaproCur/ida.key.  Alternately, if you have a UVA CS 
-		account, you can use the UVA-CS dependability group's IDA server.  To use this, run
-		"source set_ida_server".
-	5) Run "postgres_setup.sh"
-		This step sets up postgres to hold the Zipr database.  If you already 
-		have postgres configured, it may damage your data.  Use with appropriate caution.
-	6) Test  the installation:
-		run "cd /tmp; $PSZ /bin/ls ./ls.ziprd"
-		You should see the Zipr toolchain protecting /bin/ls and writing results into the file
-		The Zipr toolchain should report success if installed properly.
-		Run the rewritten program as if it were /bin/ls:  "/tmp/ls.ziprd"
-
-
-If you log out and log back in (or log into a new session), you'll need to re-run steps 1 and 2 
-before using the toolchain again.  You may wish to automate this step by adding it to your .bashrc
-file or other, appropriate login files.
-
-
-
-

ubuntu16_files/Vagrantfile

-Vagrant.configure(2) do |config|
-  config.vm.define "zipr_toolchain" do |zipr_toolchain|
-
-    # sanity check env.  -- but do this after the box definition.
-
-    zipr_toolchain.vm.box = "ubuntu/xenial64"
-    zipr_toolchain.vm.box_url = "http://cloud-images.ubuntu.com/releases/16.04/release/ubuntu-16.04-server-cloudimg-amd64-vagrant.box"
-#    zipr_toolchain.vm.hostname = "ziprtools"
-
-    zipr_toolchain.vm.provider "virtualbox" do |vbox|
-# 	 vbox.gui = true
-        vbox.name = "ziprtools"
-        vbox.cpus = 2 
-        vbox.memory = 8192
-    end
-
-    # README step 0, unpack tarball.
-    zipr_toolchain.vm.provision "shell", privileged: false, inline: <<-SHELL
-	cd /home/vagrant
-	echo "Extracting zipr_toolchain.tgz into VM."
-	tar xzf /vagrant/zipr_toolchain.tgz
-    SHELL
-
-    # README step 2:  install key.
-    zipr_toolchain.vm.provision "file", source: Pathname.new(ENV["IDAROOT"]).join("ida.key"), destination: "$HOME/zipr_toolchain/idaproCur/ida.key"
-
-    # README step 3-6: run installer, setup postgres as vagrant, test ls.
-    zipr_toolchain.vm.provision "shell", privileged: false, inline: <<-SHELL
-	cd /home/vagrant/zipr_toolchain ; sudo ./ubuntu16_files/install.sh 2>&1 | tee /tmp/install.log
-	source set_env_vars
-	./postgres_setup.sh
-	cd /tmp
-	$PSZ /bin/ls ./ls.protected 
-	if ./ls.protected ; then
-		echo
-		echo
-		echo
-		echo "Installation Success!  (Passed smoke test on /bin/ls)"
-		echo
-		echo
-		echo
-	else
-		echo
-		echo
-		echo
-		echo
-		echo "Installation failed!  (Could not protect /bin/ls)"
-		echo
-		echo
-		echo
-	fi
-	echo "Cleaning up"
-	rm -Rf /tmp/ls /tmp/peasoup*
-		
-    SHELL
-  end
-end
-