.gitignore log and instrumented files