Making pbs launch command use unique filenames (as determined by pid)
Making pbs launch command use unique filenames (as determined by pid)

The pbs launch command currently uses three .dotfiles
and was using hard-coded names for them.  With this
change, make the filenames more unique (based on the
pid) to support executing multiple programs at once.



git-svn-id: 88467cb1fb04b8a755be7e1ee1026be4190196ef@14971 3a8e244f-b0f2-452b-bcba-4c88e055c3ca

chizarlicious/chapel,hildeth/chapel,sungeunchoi/chapel,CoryMcCartan/chapel,hildeth/chapel,sungeunchoi/chapel,CoryMcCartan/chapel,sungeunchoi/chapel,chizarlicious/chapel,sungeunchoi/chapel,hildeth/chapel,hildeth/chapel,hildeth/chapel,CoryMcCartan/chapel,sungeunchoi/chapel,sungeunchoi/chapel,chizarlicious/chapel,CoryMcCartan/chapel,CoryMcCartan/chapel,chizarlicious/chapel,chizarlicious/chapel,CoryMcCartan/chapel,CoryMcCartan/chapel,chizarlicious/chapel,hildeth/chapel,sungeunchoi/chapel,hildeth/chapel,chizarlicious/chapel,sungeunchoi/chapel