[Bonmin] bonmin and ampl external function

[Andreas Waechter]

Hi Roy,

Please submit a ticket on the Bonmin Trac pages.  Include the information 
of the operating system, the flags you used when you ran configure, and 
whatever we need to know to replicate your problem.

Thanks

Andreas