cbmc → assembler Relation

File in src/cbmc	Includes file in src/assembler
cbmc_parse_options.cpp	remove_asm.h