[7.2] Server Migration Tool documentation updates for 7.2

Update Using the Server Migration Tool documentation for 7.2 upgrades.

To see the changes made by the tool, build the WildFly Server Migration Tool [1] and review the changes.

[1] https://github.com/wildfly/wildfly-server-migration/tree/master/docs/user-guides/migrations