[Eric] PyLint plugin

[Jabba Laci]

> That has been implemented. The updated pylint plug-in is available via the
> plug-ins repository from within eric.

Thank you, that was quick.

I have one more idea to add. When I use PyLint to beautify my code, I
work with the "Messages" section, which is at the end of the report.
When I press "refresh", the page is shown at the top, so I need to
scroll down to the bottom each time.
Idea: when "refresh" is pressed, memorize where the scroll bar is,
update the report, and jump to the previous location.

Thanks,

Laszlo