Push notifications API documentation

The Push notifications module has been moved into an external extension library available on here.