Version 0.12: New behaviour for searching for solutions.

Spaghetti will now only search for an ideal solution when --ideal is
specified. Otherwise it will search for a valid one only.

A --timeout of 0 means that the program will only exit when it finds an
ideal (--ideal specified) or valid solution.