Remove dependency on scala.actor library
Remove unused timeout methods
Add missing cases for proof exporter in VeriT format with Equality axioms.