Removed trailing # from markdown

Author: Enrico Steffinlongo

doc/architectural/cbmc-architecture.md

@@ -63,11 +63,11 @@ For an explanation of the data structures involved in the modeling of a GOTO
 program (the GOTO Intermediate Representation used by CBMC and assorted tools)
 please see \subpage central-data-structures .
 
-## {C, java bytecode} → Parse tree → Symbol table → GOTO programs → GOTO program transformations → BMC → counterexample (goto_tracet) → printing ##
+## {C, java bytecode} → Parse tree → Symbol table → GOTO programs → GOTO program transformations → BMC → counterexample (goto_tracet) → printing
 
 To be documented.
 
-## Instrumentation: goto functions → goto functions ##
+## Instrumentation: goto functions → goto functions
 
 To be documented.
 
@@ -76,28 +76,28 @@ To be documented.
 For an explanation of part of how the BMC (Symex) process works, please refer
 to [Symex and GOTO program instructions](symex-instructions.md)
 
-## Trace → interpreter → memory map ##
+## Trace → interpreter → memory map
 
 To be documented.
 
-## Goto functions → abstract interpretation ##
+## Goto functions → abstract interpretation
 
 To be documented.
 
-## Executables (flow of transformations): ##
+## Executables (flow of transformations):
 
-### goto-cc ###
+### goto-cc
 
 To be documented.
 
-### goto-instrument ###
+### goto-instrument
 
 To be documented.
 
-### cbmc ###
+### cbmc
 
 To be documented.
 
-### goto-analyzer ###
+### goto-analyzer
 
 To be documented.