Clean `automata-learning` code, enable used, and remove unused tests

[leonbohn]

There is still some junk code lying around which we should get rid of. Also, there are some tests that are unused, and some tests that are just plain ignored. We should deal with both and get the learning library up to par with the other two.

[leonbohn]

This actually depends on #42.