ivory build: updates to verify target.
flight-generated code proofs: updates.
smaccmpilot: GCS bug fix (caught with cbmc).
Possible overflow in arithmetic at int16_t type.
ivory build: tweaks to verify target.
ivory-generated: updated proof status table.
sample-rtv-task: refactor .hs files to fit with current package.
ivory build: comment out EXEC target---unused.
sample-rtv-task: new .hs generation files.
sample-rtv-task: fixed build.
sample-rtv-task: gitignore.
sample-rtv-task: add plugin.