improve line counter

new target: lcp -- line counting within each package
update coq commit number
add a reference in a comment
add a reference to the README
Merge branch 'master' of github.com:UniMath/UniMath

Conflicts:
	sub/coq
Merge pull request #22 from vladimirias/master

Work added to bsystem.v Universe Inconsistency issue
Merge branch 'master' of github.com:UniMath/UniMath
update Coq submodule
identity coercion from UU to Type
Merge pull request #23 from benediktahrens/coerceUUtoType

identity coercion from UU to Type
Merge pull request #8 from UniMath/master

Identity coercion from UU to Type and other improvements