Allow DB credential cloaking to be turned off

Because the settings.php file relies on db access settings being set in the $_SERVER variable, civicrm's command line mail sending scripts do not work. As an example and test, I created a file, test.php, in the drupal root, containing the following code:

define ('DRUPAL_ROOT', '/path/to/drupal-7.8-build-1'); 
chdir(DRUPAL_ROOT); 

require_once 'includes/bootstrap.inc'; 
print "Starting bootstrap\n"; 
drupal_override_server_variables(array('url' => 'http://local.drupal.dev/test.php')); 
drupal_bootstrap(DRUPAL_BOOTSTRAP_DATABASE); 
print "Drupal database should be loaded now\n"; 

On a regular drupal 7.8 install without aegir, this script worked properly. On aegir 1.5, the same script, adjusted for the platform location and site url, crashes, and an strace reveals a segfault after an attempt to load install.inc from drupal.

Placing the following values at the beginning of the script, fixes that problem for aegir:

$options['db_type'] = 'mysqli';
$options['db_host'] = 'localhost';
$options['db_port'] = '3306';
$options['db_passwd'] = 'password';
$options['db_name'] = 'database_name';
$options['db_user'] = 'user_name';

Marked as minor because there are other ways of sending mail with civi, including from the command line with curl or wget, but this will likely cause problems for any Drupal bootstrap script running the "standard" way.

I can't see a way around this problem short of patching core to include drush aware code in the bootstrap process...