[coq] Untabify the whole ML codebase.

We also remove trailing whitespace.

Script used:

```bash
for i in `find . -name '*.ml' -or -name '*.mli' -or -name '*.mlg'`; do expand -i "$i" | sponge "$i"; sed -e's/[[:space:]]*$//' -i.bak "$i"; done
```

1 files changed, 1 insertions, 1 deletions

diff --git a/library/libnames.ml b/library/libnames.ml
index 485f8837e8..126841c9a5 100644
--- a/library/libnames.ml
+++ b/library/libnames.ml
@@ -62,7 +62,7 @@ let parse_dir s =
     if n >= len then dirs else
     let pos =
       try
-	String.index_from s n '.'
+        String.index_from s n '.'
       with Not_found -> len
     in
     if Int.equal pos n then user_err Pp.(str @@ s ^ " is an invalid path.");