Adding missing unsafe primitives to Proofview.
Fixing bug #3682.

The function initializing proofviews were marking all evars as non-resolvables
for the proofview, while only goal evars ought to be.
Test of bug #3682.
Test for bug #3487.
Fixing printing of dirpathes in Ppconstr. It was reversed.