Add simple-spreadsheet tools to phony targets.
Bump cbmc-reporter.