Is Daft Punk's 'Get Lucky' Really About 'The Avengers'?