An utility for managing MySQL schema changes