dropEXTENSION function

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