Change lint.py to print the name of file being linted for easy debugging. Also removed a bug from website\main.py