add in CUDD patch for OS X; add OS X section to README