Flatten libcvc4 build structure; remove some #include interdependences