Change pretty printing for bitvector values to use single colon
Change pretty printing for bitvector values to use single colon

Old: "23::[8]"
New: "23:[8]"

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script