WIP: big overhaul of developers inspector getViews

It can now show priorities, highlight extensions and overridden views, and show different view types.