Now based on Ubuntu 14.04 and virtuoso stable/7 branch
Avoid debconf warnings
Handle virtuoso-* files (don't hard-code -develop-7)
Ubuntu 12.04, Virtuoso 7.1.0. Expose VOLUME.

patch debian/changelog of 7.1.0 so it actually builds
Updated README
Deleted Vagrant files as we'll go for pure Docker