Add dev document how to rename a module

Even though people take care to use an appropriate name for a repository when it is started, it does sometimes become necessary to change the name. This is often difficult and has various ramifications.

Create a document at dev.folio.org to explain the steps.