Up until now, options have only been able to have one single word
(or string with no spaces) as their value. This small patch improves
that and includes everything to either the end-of-line or # (for in-line
comments) as the parameter for the option.
ce1f5ce4dc