Document Praefect downgrade steps

Rolling back Praefect nodes to an older version may require reverting a
number of DB migrations. This process is a bit involved, so let's
document how to do it.