[Dive] Update Copyright

src/plugins/dive/Dive.mli

src/plugins/dive/Makefile.in

src/plugins/dive/build.ml

src/plugins/dive/build.mli

src/plugins/dive/callstack.ml

src/plugins/dive/callstack.mli

src/plugins/dive/configure.ac

src/plugins/dive/graph_types.mli

src/plugins/dive/headers/close-source/LGPL.Dive

src/plugins/dive/headers/header_spec.txt

src/plugins/dive/headers/open-source/LGPL.Dive

src/plugins/dive/imprecision_graph.ml

src/plugins/dive/imprecision_graph.mli

src/plugins/dive/licence/LGPLv2.1

src/plugins/dive/licence/headache_config.txt

src/plugins/dive/main.ml

src/plugins/dive/node_kind.ml

src/plugins/dive/self.ml

src/plugins/dive/self.mli