finalized ios push notifications (#14)