Drop PathName Monoid

`mempty` breaks the invariant that a `PathName` is a valid filesystem
path.  This change also ensures reified directories consistently end
with a path separator again.
Add GitHub information for Cabal
Reintroduce instance Monoid Path
Test category and monoid laws with QuickCheck