calling consistency for output functions

For formulas, the to_XXX_string family of functions have the form stream to_spin_string(formula, stream).

For automata, we have for instance stream hoa_reachable(stream, aut, opts).

I think it makes sense that stream is always the first argument in function that return a stream, so let's fix the formula output functions.