Prolint/Eclipse menu choices

Prolint/Eclipse menu choices

There are two simple menu items for Prolint: one to find problems, and the other to clear the problem markers. Any combination of files, folders, and projects can be selected for these.