Updates to documentation, libraries and mpns handler

This request contains several small fixups and a new script for testing the pushd performance. More information about the latter is included in the corresponding README.