Issues update.
Typofix in mapAnswers options.
New option in mapAnswer: certificate extraction.
New commands feature: HTTP name extraction.

mapAnswers and x509show can extract the HTTP names for a given cert or Certificate message.
Remove useless value.VOption constructor.
Simplify integer representation in values.

When needed, update protocol/format implementations.
Update unit tests for enum preprocessing, and tar tutorial.
Remove complicated value.VLazy constructor.

Update struct-??.out syntax unit tests, as well as png tutorial.
The direction type has moved to core/parsifal.ml.
Bugfix in mapAnswers --answer-type: enrich-level was too low.

The fixed version correctly displays certificate subjects.
Use Cryptokit to xor byte strings.
Bugfix in HMAC definitions.

The parameter is a byte count, not a bit count...
Some work on TLS PRFs.

New function to handle TLSv1 and TLSv1.2 pseudo-random functions.
Add some unit tests.
Add some functions about MS and key derivation in TLS.

To this aim, we use a new type to remember the PMS/MS we will use on CCS.
Corresponding unit tests have been added.
Add RC4 record encryption/decryption.
New unit test file on record encryption/decryption.
First unit tests on record encryption/decryption.
New unit tests on record encryption/decryption: check when integrity should fail.

It is essential in security software to *also* check that what should not work does indeed not work.
That said, do not use this implementation for anything real: its goal is to build analysis tools.
Add AES record encryption/decryption.
Add randomisation to test_integrity checks in test_suites.
Micro-optimisations of the make check process.