BibSched: improve bibsched pid handling
- Improves bibsched server pid handling by erasing it when no server is found to be running with the given pid.
- Additionaly fail with an error if bibsched is found to be running with a different pid than the one specified in the pid file. (closes #436)