Delete redstate_reader.py