Add postgresql::server::extension definition