An HTTP push messaging library with oData and Linq subscriptions for server side filtering of reactive events