Merge pull request #80 from MatthewFluet/benchmark-infrastructure

Updates to benchmark infrastructure.

Ignore benchmark program executables.

Update model-elimination.sml benchmark program to eliminate uses of CommandLine.arguments () and fix iteration count.