repository migration tools

This script allows to migrate the Deployit Repository backend. The typical use case is to migrate from the default Deployit configuration (using Derby & FileSystem) to another backend (eg Full database storage).