Add smt_cvc4.h to <smt> header

The functional test shows that <gtest> must be included after <smt>.