Remove redi_lib.py

redi_lib.py was split up into several files and was previously removed,
but was accidentally restored and recommitted with a subsequent merge.