Added kframework c-semantics environment script.