added an option --ccomp

passing --ccomp enables to test compcert.