Rename Ptranal wrapper module, add to API docs

Author: sim642

src/analyses/ptranalEvalFunvar.ml renamed to src/analyses/ptranalAnalysis.ml

@@ -1,4 +1,6 @@
-(** Wrapper analysis to answer EvalFunvar query using Cil's pointer analysis. *)
+(** CIL's {!GoblintCil.Ptranal} for function pointer evaluation ([ptranal]).
+
+    Useful for sound analysis of function pointers without base. *)
 
 open GoblintCil
 open Analyses

src/goblint_lib.ml

@@ -164,6 +164,7 @@ module TaintPartialContexts = TaintPartialContexts
 module UnassumeAnalysis = UnassumeAnalysis
 module ExpRelation = ExpRelation
 module AbortUnless = AbortUnless
+module PtranalAnalysis = PtranalAnalysis
 
 
 (** {1 Domains}