No documentation yet :(
With the plugin installer in Prosody 0.12 you can use:
sudo prosodyctl install --server=https://modules.prosody.im/rocks/ mod_pinger
For earlier versions see the documentation for installing 3rd party modules