Building on Windows/cygwin.
Fixed SMACK scripts to work on Linux. There was a problem related to how smack.so library was being found.
Refactored library finding code.
Hopefully finding library path is fixed now.
Merge branch 'ext'
Handling inttoptr and ptrtoint instructions.