Start updating to work on a modern system

Switch to the most recent release of Pin.
Various Makefile updates, largely triggered by changes to Pin's tool
makefile structure.
Start fixing/silencing some compiler warnings.

On a 32-bit Ubuntu 14.04 system, the Pin tool and the static analysis
can now compile, though I haven't managed to get the Pin tool to run
yet.