VM: Move an #include required only for unit tests to the unit test file.

divine/vm/program.hpp

@@ -37,7 +37,6 @@ DIVINE_UNRELAX_WARNINGS
 
 #include <divine/vm/pointer.hpp>
 #include <divine/vm/context.hpp>
-#include <divine/cc/cc1.hpp>
 
 #include <divine/vm/lx-type.hpp>
 #include <divine/vm/lx-code.hpp>

divine/vm/t-program.hpp

@@ -20,6 +20,7 @@
 
 #include <divine/vm/program.hpp>
 #include <divine/vm/eval.tpp>
+#include <divine/cc/cc1.hpp>
 
 namespace divine::t_vm
 {