cubicweb #3762739 merge migrations.py and server/migractions.py [open]

the distinction is no longer useful

prioritynormal
typeenhancement
done in<not specified>
load1.000
load left1.000
closed by<not specified>