Update to suppress unused-parameter warnings
Update cpplint.py, disable "All parameters should be named in a function"
Fix warnings and bugs related to unused variables.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix warnings and bugs related to unused variables.