math/ipopt: Update 3.12.7 -> 3.12.9; Unbreak on 12

Port changes:

• Change to DISTVERSION
• Patch config.h to set HAVE_RAND=1. It was failing due to some glitch in configure: the rand() test program was failing because the declaration of the exit() function didn't match.
• Silence commands.