1.5.99.9
Changes:

• Allow to emit dot graphs from the solver (-o DOT_FILE=afile)
• Update bundled libucl
• Fix bus error intorduced in 1.5.99.8
• Fix forward compatibility