added init_clause_eval_comm
Adding clause evaluation mechanism (over ZeroMQ)
Added clause evaluation
added algorithm to do neighbour clause evaluations