support multiple values for --array-lengths option

[daejunpark]

support multiple array lengths at once, e.g., (syntax to be decided), halmos --array-lengths x={1,2,3}

this should be equivalent to running halmos multiple times for each length value:

halmos --array-lengths x=1
halmos --array-lengths x=2
halmos --array-lengths x=3