[Dovecot] Pid file?

[Robin Breathe]

I'd certainly appreciate the addition of a configurable pid file (either 
  ./configure --with-pid=... or config file). It makes rc.d scripts that 
much neater.

- Robin