Merge push notification API to DOIS (Fixed)

Hi, Andrew,
According to last comment to previous request (https://github.com/DOIS/campus.core/pull/5#issuecomment-59416662), this time everything is fixed and checked twice.