Remove explicit "python" as cpplint.py is executable#455

Merged

kroening merged 1 commit intodiffblue:masterfrom

tautschnig:433-follow-up

Jan 18, 2017

Commits on Jan 18, 2017

Remove explicit "python" as cpplint.py is executable
tautschnig
committed