oodyn: fix the documentation
Currently our documentation is plain wrong, which results in warnings at compile time:
../../python/oodyn.hh:45:14: warning: parameter 'lhs' not found in the function declaration [-Wdocumentation]
/// \param lhs an automaton.
^~~
../../python/oodyn.hh:66:14: warning: parameter 'aut' not found in the function declaration [-Wdocumentation]
/// \param aut the automaton to codeterminize
^~~
../../python/oodyn.hh:78:14: warning: parameter 'aut' not found in the function declaration [-Wdocumentation]
/// \param aut the automaton to cominimize
^~~
which is expected, as the first argument is now the target. So we need to update the documentation of the generated code.