Merged in changes from development repository:

   In `pcfinston_master_config.sh' and `src/setupdbs':

   Added code to account for the use of up-to-date versions of glibc, GCC, automake and Texinfo.

   These are the most current versions:

   glibc:     2.18
   GCC        4.8.2
   Automake:  1.14
   Texinfo:   5.2

   Minor changes in other files to account for the use of the up-to-date versions of these packages.