write adjoint equations

[martinjrobins]

This is a struct that takes a checkpointed forward solve, then uses this to implement the adjoint equations. Need one version for integration functional (see below), and another for sum of squares (or this could be an option for the struct). Could do the forward solve within the struct new fn?