Add CVC4 library and include path