Update the current database after the migration
Use mono-sgen to launch the migration tool