New script pushsafer.rb: send private/highlight messages to Android, iOS and Windows 10 devices via Pushsafer