Change the names of lex exceptions
Change BoolExprParseError to boolexpr.Error
Change DIMACSError to dimacs.Error
Get rid of deprecated config PyLint options