Add 'make checkheaders' to developer guidelines and patch checklist.