Added the script run_sql.sh and modified all scripts to work with it,
so database names can be specified on the fly.