decoding a 80 KHz signal with interrupts, Arduino too slow