CVC Import Conditioned on Solver Flag

CVC is only imported if it is the selected solver. This allows users to
use PyExZ3 without having CVC installed.
Merge pull request #12 from GroundPound/cvc-optional

CVC Import Conditioned on Solver Flag