[server] cleaning

headers/header_spec.txt

src/plugins/server/Makefile.in

src/plugins/server/data.ml

src/plugins/server/kernel_ast.ml

src/plugins/server/kernel_ast.mli

src/plugins/server/kernel_main.ml

src/plugins/server/kernel_project.ml

src/plugins/server/package.ml

src/plugins/server/package.mli

src/plugins/server/server_doc.ml

src/plugins/server/states.ml

src/plugins/server/syntax.ml

src/plugins/server/syntax.mli

src/plugins/server/tests/batch/kernel_services.json

...gins/server/tests/batch/oracle/kernel_services.res.oracle