Extra: rename directory to Extra-lib

This is needed because not everyone uses a case-sensitive
filesystem (namely, OS X), which causes the Extra and extra packages to
collide.  Since extra is more recently maintained (by the author of
Shake and Hoogle), I've renamed Extra to just Extra-lib, keeping
everything else the same.