Work on PathGroupoid.
Experimental one-covers (not working).
Updates to covering spaces.