Generate static libraries

also added a sample dynaa_opt
usage: dynaa_opt [-load xxx] < a.bc > b.bc
AddressTy => Location, PointerTy => Definition

make the names consistent with the paper