Remove dependency on dprle library

With automaton gone, this isn't being used any more.