add simplification to Concat to deal with contiguous extractions of the same variable
add simplification to Concat to deal with contiguous extractions of the same variable

chubbymaggie/claripy,angr/claripy