add support for staged CPLEX installation

This may be required because CPLEX checked for available disk space (via a Java program, so it's hard to fool it), which may fail on NFS-mounted system (on our systems, CPLEX only sees 0.5MB of available space).