The deploy script does not take care of the db.sql3

For database packages our deploy script does not run the bob_dbmanage.py download all in the current source.

As a result, all our database packages were published without the db.sql3 file.

We need to patch the deploy.sh script and publish all the database packages again.