plugin to hide portal ownership - useful for creating plans
for #503

note: currently doesn't always work correctly (size changes, but not colours?!) - hopefully pending map data rewrite will sort that out
mark 'favorite portals' as deprecated. the 'bookmarks for maps and portals' plugin does the same (and more) so it's pointless maintaining both
bump version, in case another release is needed soon