Eyewitness St Peter's Square was nowhere near full but the funeral of Pope Benedict was still a special occasion