Add tool to update mysql/init-{2,3}-*.sql