[aerogear-dev] SPEC: AeroGear Unified Push Server