include version information of newly added dependency packages in ToySolver.Version module
output set-option command before any definitions in output .smt2 file