Irish Republican Army Funeral of Sean Savage, Killed in Gibraltar by British Special Air Services, Milltown Cemetery, Belfast