Add an extra inout test

This is from Susan.  It shouldn't work under the current formulation,
but it happens to due to a quirk in the translation from clang.  The
new formulation coming should fix it for any possible translation.
Error handling tweak that has been around for a while
Update to newer dataflow analysis API
Convert Output analysis to backwards dataflow

Matches the description in the dissertation
Newline
Notes for future work
Update two test inputs to the newer json format

This adds a missing field (libraryAnnotations)
Modify the non-nullable pointer analysis to match the dissertation
Match nullable to dissertation