Cross-platform fixes

This fixes two issues:

* Commented lines in the `benchmarks.lst` file were not being handled properly.
* On OSX the `sed` command would fail because OSX uses the `-E` option instead of `-r`

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/manuzhang/storm-benchmark/2)
<!-- Reviewable:end -->