How do you define a documentary? Is it a film that has interviews? Is it a film that tells a true story? These are the sorts of questions that you find yourself thinking watching Hiroshi Teshigahara’s movie ‘Antonio Gaudi.’