MLRegTest: A Benchmark for the Machine Learning of Regular Languages