The funeral of Old Bailey bomber and IRA veteran Roy Walsh who died aged 75 has taken place in Belfast.