Inclusion and Consistency proofs in backend and example CT frontend. Implementing any remaining missing bits in the CT frontend (not to production standard yet).

Due date chosen by the process known as "making stuff up" and subject to change.

Update: Moving integration tests and stuff into next milestone, this one now has a focus on finishing all the CT handlers and RPC backend support needed for them.