#355 Allow pylint.bat as location of pylint

[Christoph Zwerschke]

Under Preferences > Pydev > Pylint you have to specify the location of the pylint script (lint.py). It would be nice if (under Windows) instead of lint.py you could also specify the location of pylint.bat, since its location C:\Python25\Scripts\pylint.bat is easier to find than C:\Python25\Lib\site-packages\pylint-0.18.0-py2.5.egg\pylint\lint.py and not dependent on the version number of pylint. Also, if you leave the location empty, pydev could just try to run pylint on the current PATH.

[Fabio Zadrozny]

Note: interesting read on executing .bat files from windows: http://mindprod.com/jgloss/exec.html