My tiny Node.js scripts to send push notifications to Android and iOS devices