Undefined function menu_save

#601788 by moshe weitzman. devel settings menu item not shown on admin page ... also fix the devel_redirecting feature for d7.

#563842 Major enhancement to SQL query log. There are now 3 variants of a query. Placeholders, arguments, and EXPLAIN. You toggle among them using the new AJAX links beside each query. Needs some CSS help, and a little 'copy to clipboard' feature

Drush integration. Download the FirePHP library automatically when devel is enabled via drush. Inspired by bad behavior library.

Add browser for menu_get_item(). Currently accessed by a new link in Development block. Improvements welcome. Should work for page not found pages though.

Add configure link as per http://www.drupalcoder.com/story/543-configure-links-on-modules-overview-page-in-drupal-7

Will wonders never cease. Some bling for devel's admin settings. Use #states to hide query log settings when query log itself is disabled.

Remove devel_form_weights implementation since it still sucks after a few years. We need better/easier inspection of forms. See http://drupal.org/node/680288

Remove last of devel_themer integration. It will have to find its own handy way of enabling and disabling self. No longer an automatic part of devel menu block.

Remove code coverage feature which was barely implemented and is not needed now that code registry is mostly rolled back.