Expandable database pool size in the WBCS installer

The WBCS installation has been enhanced to allow the user to set up the database pool size and have the option of making the pool size expandable.

See "Installation and Upgrade" in the Clock Server Guide.