Over time, the htools accumulated quite a few flags influencing
the moves considered by htools. So far, all those flags are passed
as positional arguments. This bares the risk of passing them in wrong
order as type checking cannot distinguish different arguments of the
same type (usually Bool). It also renders the function calls hard
to read. So, add a module capsuling the parameters as named record
fields.

Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>