added run_settings.py.ec2_wfdei for running WFDEI.