Jarv/provision

Jarv/new mongo

re-apply ec2.py fixes for inifile

Re-enable set by command-line option and environment file.  We need this
at Stanford so we can get private DNS names to use with VPC's.

The only interesting change is moving the option parsing up a bit.

Make easy to use host names.