Make splitting of debugging symbols optional.

This adds the --symbol-files configure option to turn this back on.