I was thinking about an RPi this before reading this thread. Great minds think alike. Im not a coder, but I would think a SDR receiver like the USB dongles found on ebay could work for decoding. I know some of them work for digital radio receiving on the ham bands for PSK31, etc.