Cleanup unwanted dependencies between CBMC modules

[peterschrammel]

[mgudemann]

clang and g++ provide -MM that prints dependencies, leaving out system header files, -H prints a tree of includes, maybe that's of help

[peterschrammel]

Cleanup issues observed when creating the module dependency files in #2196:

• Cleaning out langapi (currently on the way)
• Cleaning out java_bytecode (remove usage of Java bytecode frontend #2118)
• Remove use of ansi-c in analyses, jsil, linking, pointer-analysis, goto-programs, java_bytecode, jbmc, goto-analyzer and goto-instrument
• Move version.h somewhere else to remove dependencies on cbmc from all other driver programs
• Move rewrite_union to goto-programs
• Investigate use of analyses in goto-programs
• Remove use of assembler in goto-programs
• Sort out some cross-inclusions within solvers modules