Adding new configuration options

When a new option is added to the configure script, several things must be changed. It is best to search through the file for occurrances of a similar option and add references to the new option as well. Several things must be checked:

• The option should be mentioned in the usage message, and in the configure script header.
• The option should be parsed near the beginning of the script, and remembered if it has been selected.
• The option should be written out to the file configure.options at the end of the script if the run was successful.