Don't try to open HTML files using open(1) on Linux

[maxbrunsfeld]

When parsing a file with the -D flag, we currently try to open the generated HTML log file with the open command. This doesn't work on Linux, and I'm not sure if there's a reliable equivalent. If there isn't, then on Linux we should probably just print out the name of the generated file and stop there.