[wp] Migrate to frama-c indent

src/plugins/wp/.ocp-indent

src/plugins/wp/AssignsCompleteness.ml

src/plugins/wp/Auto.ml

src/plugins/wp/Cache.ml

src/plugins/wp/CfgCompiler.ml

src/plugins/wp/Cfloat.ml

src/plugins/wp/Cint.ml

src/plugins/wp/Cleaning.ml

src/plugins/wp/Cmath.ml

src/plugins/wp/CodeSemantics.ml

src/plugins/wp/Conditions.ml

src/plugins/wp/Cstring.ml

src/plugins/wp/Cvalues.ml

src/plugins/wp/Definitions.ml

src/plugins/wp/Factory.ml

src/plugins/wp/Filtering.ml

src/plugins/wp/Generator.ml

src/plugins/wp/GuiComposer.ml

src/plugins/wp/GuiGoal.ml

src/plugins/wp/GuiList.ml