Incrementality

Basic incremental solving capability. Available through the API. Unit tests for the API and the incremental solver.