Allow for user configurable message header by platisd · Pull Request #33 · platisd/duplicate-code-detection-tool