A simple PHP CLI script to migrate a wordpress database from one domain to another