Implement Karatsuba multiplication

See also Issue #6