fixed erroneously bound path p in proof that PI implies based PI
updated errata with change
Merge pull request #435 from akissinger/master

Simplify type of D in proof that path induction implies based path induction