Now names of temporal files (*.pl and *.yap) can be changed according to
specified game names or kif file names.
Merge branch 'develop'