RUM update for apt.postgresql.org

Hello all,

RUM extension has new release 1.3.1. Tag 1.3.1:
https://github.com/postgrespro/rum/releases/tag/1.3.1

Could you please update PostgreSQL 10 and 11 packages?

There was a commit which changed some names in src/include/lib/rbtree.h:

https://github.com/postgres/postgres/commit/b2e754c14e2741a076691e8c6f0099afffaa842e
https://github.com/postgres/postgres/commit/1f28ec6be27085819a6adfa96ba305bb4ee47f4c

RUM cannot be compiled with new PostgreSQL 10 and 11. This 1.3.1 release 
fixes the issue. And existing RUM package doesn't work properly because 
of function renames. See issues in GitHub:
https://github.com/postgrespro/rum/issues/48#issuecomment-437044075
https://github.com/postgrespro/rum/issues/49

Thank you in advance!

-- 
Arthur Zakirov
Postgres Professional: http://www.postgrespro.com
Russian Postgres Company