DS-2014 set up java7 reliably

A minor tweak to get Vagrant to use the host's DNS resolver, which will make provisioning more dependable (and a tiny bit faster); revamped the Java 7 installation in the dspace puppet init manifest.