allow environment variable OPTFLAGS for users to specify extra optimization flags [bug 1731 (#1731)] Rev: src/configure.in:1.523