dbv.php: Database version control, made easy!