More documentation
Fixed bug in `clang-tags trace`
Minor modification