Include <cstddef> in smt.h header

MathSAT and CVC4 won't otherwise link when smt-kit is
compiled with g++-4.9. Note that it matters now that
the CVC4 headers are included after #include "smt.h"!