travis: remove dprle build dependency
Merge pull request #363 from frenetic-lang/travis

travis: remove dprle build dependency