Optimize for pentiumpro for RPM's.


Build-tools/Do-rpm:
  Use compiler option -mpentiumpro
configure.in:
  Print compiler version