Add pre-commit hooks

As part of this, add a new GitHub Actions lint workflow to run the
pre-commit as well on every PR and merge.

.github/workflows/lint.yml

@@ -0,0 +1,11 @@
+name: Lint
+
+on: [push, pull_request]
+
+jobs:
+    pre-commit:
+        runs-on: ubuntu-latest
+        steps:
+            - uses: actions/checkout@v4
+            - run: sudo apt-get install pre-commit
+            - run: pre-commit run -a

.pre-commit-config.yaml

@@ -0,0 +1,15 @@
+repos:
+-   repo: https://github.com/pre-commit/pre-commit-hooks
+    rev: v4.4.0
+    hooks:
+    -   id: check-case-conflict
+    -   id: check-executables-have-shebangs
+    -   id: check-merge-conflict
+    -   id: check-yaml
+    -   id: detect-private-key
+    -   id: end-of-file-fixer
+    -   id: trailing-whitespace
+-   repo: https://github.com/jlebar/pre-commit-hooks.git
+    rev: 62ca83ba4958da48ea44d9f24cd0aa58633376c7
+    hooks:
+    -   id: do-not-submit

INSTALL.md

@@ -67,7 +67,7 @@ To build and install the source package, you must follow these steps:
 
 2. Build the sources to generate the binaries and scripts.  Run `make` on
    the sources' top directory after configuring them.
-   
+
 3. Check that the library works before installation by running `make check`.
 
 4. Install the library by running `make install'`. You may need to become