Add the option "--add-provers" to why3 session update
An example usage :
why3 session update --add-provers <p1:p2...> <session_dir>
This would add the prover in the session, and would generate a new proof attempt node for the specified provers for each proof node of the session.