Add a progress bar for compilation

[rlouf]

Compilation can take a few seconds, and it would be a huge improvement to the UI if we let the users know what is happening and the progress of the compilation progress. We should be able to get by with tqdm added to this function. Even if we don't know exactly how many state the compiler needs to traverse the total number of states in the FSM should give an upper bound.