Migration scripts

Scripts in this directory make it easier to migrate from some version of REVEN to some other.