rename
add benchmarks/cil/{archimedes,barcode,httptunnel,tmndec}
rename
delete unnecessary print
rename preinfo -> pre
print abslocs info
print_abslocs
optil
optimize salloc