[ivette] Eva coverage and summary: slightly changes some texts.

ivette/src/frama-c/plugins/eva/Coverage.tsx

@@ -195,7 +195,7 @@ Ivette.registerComponent({
   group: 'frama-c.plugins',
   rank: 10,
   label: 'Eva Coverage',
-  title: 'Detailed coverage and results of the Eva analysis',
+  title: 'Detailed coverage of the Eva analysis',
   children: <CoverageComponent />,
 });
 

ivette/src/frama-c/plugins/eva/Summary.tsx

@@ -211,15 +211,15 @@ export function EvaSummary(): JSX.Element {
   if (state === 'not_computed')
     return (
       <div className="eva-summary-status">
-        Eva analysis not run yet.
+        No Eva analysis has been run yet.
       </div>
     );
 
   if (state === 'computing')
     return (
       <div className="eva-summary-status">
-        Eva analysis running.
         <LED status="active" blink />
+        Eva analysis in progress…
       </div>
     );