in the generated vol_addr.txt, mark if a volatile is a pointer or not

this info will be used by pintool's random mode: we cannot
modify reads to pointer volatiles