fix server pid file name
Merge pull request #147 from da2ce7/master

Correctly generate pid file paths in otserver.