Merge branch 'feature/server/basic-testing' into 'master'

src/plugins/server/Makefile.in

src/plugins/server/server_batch.ml

src/plugins/server/tests/.gitignore

src/plugins/server/tests/batch/ast_services.i

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

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

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

src/plugins/server/tests/batch/oracle/ast_services.out.json

...plugins/server/tests/batch/oracle/ast_services.res.oracle

...lugins/server/tests/batch/oracle/kernel_services.out.json

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

src/plugins/server/tests/batch/oracle/wrong.out.json

src/plugins/server/tests/batch/oracle/wrong.res.oracle

src/plugins/server/tests/batch/test_config

src/plugins/server/tests/batch/wrong.i

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