Use -print-function-coverage as an option

Before this commit, we have to rebuild klee to print or not.