Merge branch 'mi_pg_dump_doc' into 'develop'

update doc: pg_dump and psql extensions

See merge request !66