Some Python tools to generate and work with ODE systems