Add drat-trim tool
add drat-trim executable
Merge branch 'develop' into drup
Add examples of DRUP proofs
Add DRUP parser by integrating DRAT-Trim