Simple distributed push notification/messaging system