[alias] use Frama-C headers

src/plugins/alias/.gitattributes

src/plugins/alias/API.ml

src/plugins/alias/API.mli

src/plugins/alias/Alias.ml

src/plugins/alias/Alias.mli

src/plugins/alias/LICENSE.Alias

src/plugins/alias/abstract_state.ml

src/plugins/alias/abstract_state.mli

src/plugins/alias/analysis.ml

src/plugins/alias/analysis.mli

src/plugins/alias/dune

src/plugins/alias/dune-project

src/plugins/alias/headers/Makefile.generate-headers

src/plugins/alias/headers/close-source/LICENSE.Alias

src/plugins/alias/headers/close-source/LICENSE.template

src/plugins/alias/headers/open-source/LICENSE.Alias

src/plugins/alias/headers/open-source/LICENSE.template

src/plugins/alias/options.ml

src/plugins/alias/options.mli

src/plugins/alias/simplified.ml