[Exist-development] Renaming the "lib" extension

[Loren C. <lor...@gm...>]

There is also another extension besides "gate" that needs renaming.

We also need a name for lib. 

extensions/build.properties
==================
# TODO: explain what this is
# The name is not descriptive.
# It should be changed. I know Gev has left this for us to decide, but ...
# Lib module
include.module.lib = false




What does this do?  What would be a better name for it?


Loren