Initially no VMOD, VFP or the like is defined, but code applying
libcrypto to implement RFC8188 is committed, as well as a test
program that checks the results against the two examples in
chapters 3.1 and 3.2 of the RFC.

The 'make' target currently doesn't do anything, but 'make check'
runs the test.