Add skeleton for CVC4 solver