Revert "Coffee checker: "--lint" is now deprecated."

This reverts commit b4e0bdfe12da739a5f1abee1ff7717e02c64a376.