[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, 13 insertions, 13 deletions

diff --git a/kernel/cooking.ml b/kernel/cooking.ml
index fae06f7163..9d7387c7ad 100644
--- a/kernel/cooking.ml
+++ b/kernel/cooking.ml
@@ -91,25 +91,25 @@ let expmod_constr cache modlist c =
   let rec substrec c =
     match kind c with
       | Case (ci,p,t,br) ->
-	  Constr.map substrec (mkCase (update_case_info ci modlist,p,t,br))
+          Constr.map substrec (mkCase (update_case_info ci modlist,p,t,br))
 
       | Ind (ind,u) ->
-	  (try
-	    share_univs (IndRef ind) u modlist
-	   with
-	    | Not_found -> Constr.map substrec c)
+          (try
+            share_univs (IndRef ind) u modlist
+           with
+            | Not_found -> Constr.map substrec c)
 
       | Construct (cstr,u) ->
-	  (try
-	     share_univs (ConstructRef cstr) u modlist
-	   with
-	    | Not_found -> Constr.map substrec c)
+          (try
+             share_univs (ConstructRef cstr) u modlist
+           with
+            | Not_found -> Constr.map substrec c)
 
       | Const (cst,u) ->
-	  (try
-	    share_univs (ConstRef cst) u modlist
-	   with
-	    | Not_found -> Constr.map substrec c)
+          (try
+            share_univs (ConstRef cst) u modlist
+           with
+            | Not_found -> Constr.map substrec c)
 
       | Proj (p, c') ->
         let map cst npars =