Merge branch 'feature/wp/script-name' into 'master'

[wp] Print script name in TIP

See merge request frama-c/frama-c!3167

src/plugins/wp/GuiGoal.ml

@@ -546,6 +546,15 @@ class pane (gprovers : GuiConfig.provers) =
           on_proof_context proof
             begin fun () ->
               text#clear ;
+              let main = ProofEngine.main proof in
+              if ProofSession.exists main then begin
+                text#printf
+                  (if ProofEngine.saved proof
+                   then "%a (@{<green>saved@})@."
+                   else "%a (@{<orange>modified@})@.")
+                  ProofSession.pp_script_for main ;
+                text#hrule ;
+              end ;
               scripter#tree proof ;
               text#hrule ;
               text#printf "%t@." (printer#goal (ProofEngine.head proof)) ;