Fixed bug making deployments stuck under "awaiting guinea pig"
- now propagator remembers approval of a script deployment
Initial work on schema comparisons
Added group-run for manual, approved deployments
Checking whether schema is required on input_script, and disabling
schema input when not required.
Added `$conf['restrict_credentials_input_to_dbas']` functionality
support for reviewing incomplete deployments
marking script as "cancelled" auto-disapproves unexecuted deployments
fixed wildcard schema mapping credentials
search box visible to all
database instance schema mapping now implies query mapping on GRANT
commands over mapped schemas.
i.e. a GRANT query on a mapped schema will be rewritten without need to
explicitly define a query mapping
Merge branch 'master' into event_listeners_pr

Conflicts:
	lib/Propagator.php