A minimalistic migration tool for PHP