Quick script to change the domain in a wordpress DB dump.