More minimization algorithms

At the moment, we have only one minimization algorithm, the Brzozowski algorithm. We should improve the tool giving the choice of selecting the minimization algorithm.
I have selected the following algorithm:
- Hopcroft's algorithm;
- Moore's algorithm;
- Huffman's algorithm.
This task is assigned to @AndreaPerazzoli.

