According to newly released MI5 files, many more British and Irish set off to join the International Brigades in Spain to fight against Franco than has generally been cited by historians.