[kernel] avoid generating ill-formed asm contracts in presence of void ptrs

Closes #609

See merge request frama-c/frama-c!2387

Fix/andre/wp minor fixes

See merge request frama-c/frama-c!2308

When a `void *` lval is referenced in an asm directive, use its conversion
as `char *` in the contract to obtain well-formed `assigns` clauses.

Fixes #609

[configure] improved native thread detection

See merge request frama-c/frama-c!2361

Thanks to madroach for spotting the issue and providing a patch.

Thanks to madroach for spotting the issue and providing a patch.

[Cabs2cil] fix crash due to align attribute in FAM

See merge request frama-c/frama-c!2368

Feature/wp/cache

See merge request frama-c/frama-c!2378

[server] Catch input decoding error and send an error response

See merge request frama-c/frama-c!2372

# Conflicts:
#	src/plugins/wp/VCS.ml
#	src/plugins/wp/VCS.mli
#	src/plugins/wp/register.ml
#	src/plugins/wp/tests/wp_plugin/oracle_qualif/nth.0.res.oracle
#	src/plugins/wp/tests/wp_plugin/oracle_qualif/nth.1.res.oracle
#	src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.0.res.oracle
#	src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.1.res.oracle
#	src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.2.res.oracle
#	src/plugins/wp/wp_parameters.ml

Changes some options of WP

See merge request frama-c/frama-c!2383

[Unmarshal] fix for OCaml 4.08

Closes #665

See merge request frama-c/frama-c!2295