Implementing #6: packages newer than AUR are marked

The filters have been updated as well to support this, and the
names and the selection mechanism has been rethought (but not
implemented yet.)