increase refresh delays after a move, and repeated refresh limit, to reduce unnecessary requests to the servers
merge patch from #491, that updates things to getThinnedEntitiesV4
also a couple of plugins that were missed
increase refresh timeout considerably when zoomed out. this will reduce requests to the servers when lots of data is visible
also, with the new higher tile count when zoomed out (#491) it reduces the odds of a new refresh starting before the old ones have finished
bump version number, as another IITC release is required...
show more portals plugin: don't boost zoom level when zoomed out - gets silly with the new getThinnedEntitiesV4 changes
bump android version number - required for f-droid build, and to reduce user confusion
update website for new release
update descriptions for keys + keys-on-map plugins - hopefully will reduce user confusion
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