Fix some bugs, add [Load], [Load Verbose] support
Add a file to extract error strings
Add a memoizer
Add some memoization
Add get_error_string to exports
Support files with no imports
Fix group ordering
Find the error in the main script
Add files to strip comments and split files.
Add some code for stripping things.
Add some code to auto-remove Ltac
Clean up in diagnose_error
Add a comment with a TODO
Add some code to recursively remove Ltac