Add priority to a linter category + organize lint categories by priority

Displaying categories by priority provides editors with better
guidance about what to spend time on. The linter help page provides
more information about why the specific priorities have been chosen.

Change-Id: If6f28570189e24a67b4380f666f4cd64a2296989