Hypergraph Transversals

Move «minimal-intersection-sets» from c.fca.implications
to c.base and rename it to «minimal-hypergraph-transversals».

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>