[ticket/11696] Rename db_tools.php so it can be autoloaded

http://tracker.phpbb.com/browse/PHPBB3-11696