#340 Make BASIS_CONFIGURE_PUBLIC_HEADERS a non-cached option.
#340 Make it more obvious that basis_configure_script_libraries is only called if the lib/ directory exists.