fixed some bugs in the pintool

[sam-b]

Fixed formatting and start up memory allocation issues.

[BestPig]

Record variable should be set to true if the binary has no main symbol otherwise stripped binary cannot be monitored properly.

On OS X, the symbol is _main instead of main like others.

[sam-b]

Good point on the first - will edit tomorrow morning and add in the OSX option.

[sam-b]

@BestPig Updated the pull request to fix these- thanks :)