Decommissioning AMM-Devnet

The AMM-Devnet will be decommissioned on December 8, 2023.

References to it will also be removed from:

• XRP Ledger Developer Resources
• Client Libraries
• XRPL Explorer