build system: integrate cbmc-reporter.
ivory: git-ignore.