updated fork of @djs55: switching from veewee to packer

reincluded @mor1's provisioning scripts;
updated Debian ISO URL;
updated to use opam 1.2.0;
updated some names: directories and IP address used;
minor edits to the provisioning scripts;
updated README.md;