`why3 session info` should have a mandatory argument
Today, why3 session info path
produces no output if no flag is passed. Either this should be changed so that there is a default output (maybe session-stats
?) or an error should be returned telling you to pick flag. As a new user the current behavior is unintuitive.