[x509-parser] WP Tools versions

x509-parser/.frama-c/GNUmakefile

@@ -47,6 +47,10 @@ EVAFLAGS    += \
 				      parse_x509_AlgorithmIdentifier:200" \
   -eva-warn-undefined-pointer-comparison none \
 
+## WP-specific flags
+# Tools versions
+# - Why3 1.4.0
+# - Alt-Ergo 2.4.0
 WPFLAGS += \
   -wp-par 12 \
   -wp-timeout 15 \