makefile for new versions of Pin (now v2.13)

Updated the makefile for building the tool under the newer versions of
the Pin toolkit (V2.13 for now). tinysmlparser also revised to remove
the compilation warning. The old makefile is still retained for backward
compatibility with older versions of Pin... rename makefile.old to
makefile, if required.