Improved database/db_dump.sh.
Merge branch 'master' of https://github.com/QRAAT/QRAAT-doc