The Selberg Trace Formula for PSL