cat-file: document -p option