Sun May 18 23:47:15 MDT 2008
  m551.c:  New keyword phrase for $minos_options:
	meminc=f
(with f a positive decimal number, possibly in floating-point
notation) causes f megabytes of extra memory to be giving to MINOS
initially.  More memory will be allocated if necessary, in which case
a message of the form

  Adding  meminc=0.271  to $minos_options might save time.

will appear in the solve_message.
  README.minos: add a couple of URLs.
