added make target to compute coverage of tests; added tests for util.c and libssa.c and thread_pool.c