A bunch of small changes in cmake.#289

igor-eremeev wants to merge 4 commits intofacebook:mainfacebook/redex:mainfrom

igor-eremeev:upstreamingigor-eremeev/redex:upstreamingCopy head branch name to clipboard