macosx: add new tool and SDK paths for OS X 10.8

Also:
 * Don't do a debug build
 * Don't download Tokend build pieces if already present.
 * Check the md5 of the "external binary"

See https://github.com/OpenSC/OpenSC/pull/148