MAINTAINERS: tools/ocaml: update David Scott's email address

Replace my sometimes unreliable <dave.scott@eu.citrix.com> address with
my reliable permanent address.

Reported-by: Doug Goldstein <cardoe@cardoe.com>
Signed-off-by: David Scott <dave@recoil.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

MAINTAINERS

@@ -237,7 +237,7 @@ F:	config/MiniOS.mk
 F:	extras/mini-os/
 
 OCAML TOOLS
-M:	David Scott <dave.scott@eu.citrix.com>
+M:	David Scott <dave@recoil.org>
 S:	Supported
 F:	tools/ocaml/