Correct bug in proof tar file creation.
Improve similarity between DexLint and GRIP screens.
Creation of parabolic flight protocols.