Add crangler man page

This was built using help2man and then manually expanded.

Author: tautschnig

doc/man/crangler.1

@@ -0,0 +1,56 @@
+.TH CRANGLER "1" "June 2022" "crangler-5.59.0" "User Commands"
+.SH NAME
+crangler \- C source transformation
+.SH SYNOPSIS
+.B crangler [\-?] [\-h] [\-\-help]
+
+.BI crangler \ file.json
+
+.SH DESCRIPTION
+.B crangler
+is a command-line utility that makes changes to a preprocessed C file
+that are prescribed in a JSON configuration file.
+
+The supported transformations are:
+.IP
+Add a contract (pre/post/assigns) to a named C function.
+.IP
+Add a loop invariant to a loop identified by the name of the function its in and
+a loop number.
+.IP
+Remove the
+.B static
+storage classifier from a function or a variable.
+.PP
+The resulting source file is written to standard output or to a file specified
+in the JSON configuration.
+.SH EXAMPLE
+The following JSON configuration file makes
+.B crangler
+preprocess
+.IR remove_static1.c ,
+removing the
+.B static
+storage classifier from all functions matching the regular expression
+.BR foobar[12] .
+The result is written to standard output.
+.EX
+{
+  "sources": [
+    "remove_static1.c"
+  ],
+  "functions": [
+    {
+      "foobar[12]": [
+        "remove static"
+      ]
+    }
+  ],
+  "output": "stdout"
+}
+.EE
+.SH ENVIRONMENT
+All tools honor the TMPDIR environment variable when generating temporary
+files and directories.
+.SH COPYRIGHT
+2021, Daniel Kroening