A cross-platform push service interface for Node.js