Command-line interface for After the Deadline language checker