The SpikeGL signal recording system developed for HHMI