for .1config*, disable -dynamic_options and delete file after first read

From bruen...@google.com on September 20, 2013 10:01:01

Xref https://code.google.com/p/drmemory/issues/detail?id=1340 Stale .1config* files accumulating has mostly been an annoyance for developers, but now it seems to be causing problems due to pid reuse.

Proposal: disable -dynamic_options whenever a .1config* file is in use, as the assumption is that it's a file created internally by drconfiglib and will not be manually updated (and the drconfig API doesn't support changing it later). I.e., we only support -dynamic_options with a named config file. Then we can delete the .1config* file right after reading it the first time, elminating most if not all of the stale .1config* files that accumulate when processes crash w/o a DR exit.

Original issue: http://code.google.com/p/dynamorio/issues/detail?id=1271