Switch Lotus formats to bitslice implementation

[solardiz]

Sovyn Y. has just generated the corresponding S-box expressions, which we should make use of. The gate counts are large (because the S-boxes are large), but going from 8-bit to 512-bit I expect good speedup anyway. Scalar 32- and 64-bit and maybe even 128-bit SIMD could still be faster with the current explicit 8-bit lookups - so we could potentially need to keep the old code as well? - but we should implement and benchmark first.

The affected files are:

src/DOMINOSEC8_fmt_plug.c
src/DOMINOSEC_fmt_plug.c
src/lotus5_fmt_plug.c
src/lotus85_fmt_plug.c
run/opencl/lotus5_kernel.cl

I set this to the "definitely" milestone because it'd be a pity not to make use of the already started work, but I'm actually not sure we'll take care of all 5 above.