improve line counter

new target: lcp -- line counting within each package
update coq commit number