Add Bonmin to available solvers. Couenne 2.4.7 seems to have trouble picking up the bounds on variables in the .nl files, so Bonmin will be used for testing bound implementation.

#1