Add documentation for installing extension on production Postgres

[tsg]

We show how to build the extension using the Postgres from the development environment, but the next step is installing the resulting extension, or building it for the target production DB.