Merge pull request #205 from filbranden/tool_opts

Fix dejagnu test support for --tool_opts