Now installs iRODS 4.0

iRODS 4.0 is a major release. The install differs in that it is a binary install from Debian packages (or RPM packages, but that case is not used here). As of 2014-05-19 a scripted install does avoid certain snags that might otherwise be encountered.