Remove dependency on scala.actor library
Remove unused timeout methods
Add missing cases for proof exporter in VeriT format with Equality axioms.
Add travis configuration file
Replace buildhive by travis
Merge branch 'develop' into drup
Add examples of DRUP proofs
Add DRUP parser by integrating DRAT-Trim