Bump version
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 remote-tracking branch 'Skeptik-upstream/master'
Merge branch 'master' into develop