Initial implementation of Karatsuba algorithm

This is not yet even constant-time, and it lacks in performance and test
suite.  Also, we will need a seperate version for squaring, and possibly
a reduced multiplication (N * N --> 2*N).