Add DB migration script for production deployment.

To be run by Jenkins as part of the deployment process.