Fix multiple terminal states bug from bmdp format

[jmskov]

Fixes a bug in reading the terminal states from the "bmdp" file format. Previously errored on Line 33 if more than 1 terminal state was present.

[Zinoex]

Thanks for the fix, John! And I look forward to hearing what you think so far.

Regarding this bug, I might give a different perspective, and I think the disagreement comes from the fact that the format in bmdp-tool is not documented and thus just depends on the implementation. In bmdp-tool/synthesis.cpp, the terminal states are read in a for loop using file stream input fin >> termState;, which does automatically remove whitespace and newlines. Since delimited files generally have a fixed number of columns per line and a variable number of rows/lines, I would assume that this means it would be one terminal state per line for num_terminal lines rather than one line with all terminal states. This is why I implemented it as one terminal state per line, which I have confirmed works just fine with bmdp-tool. Let me know what you think - I am open to the other option. I just wanted to be sure that we agree on what the format should be.