Added code for doing rank-k updates

Includes, semismooth solver, exact linesearch for L1, various tests, and
integration with Becker's tests.