Add upstream patch improve-pid-file-handling.patch
Merge branch 'debian' into debian-bootc
Prepare wheezy-bootc 2.0.2-4~really2~20130520 release.