added --z3-executable option to all kernelc simple examples