createEXTENSION function

Generate a PostgreSQL CREATE EXTENSION statement, optionally execute the statement if con is not NULL.