Merge branch 'bignum' into linux-bignum

Includes bringing in private copies of libraries used.