Updated exercise 3 with new implementation of the send push notifications mechanism. Regenerated code snippets. Added necessary steps in HOL.md.