[Dovecot] Pid file?

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