Extend linter to check module dependencies#2196

peterschrammel merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:check-module-includespeterschrammel/cbmc:check-module-includesCopy head branch name to clipboard