MiscUtil: initial release of dbdump
- Initial release of dbdump, a tool to take regular snapshots of the database.
- Improved shellutils's run_shell_command() so that it can take filename_out and filename_err arguments, by-passing creation of temporary files.
- Improved HOWTO Run guide on various housekeeping tasks.
- Prettified bibsched task's `--help' output for general options.