Marginal Revolution: My favorite things Brazil, music edition – cool Brazilian music selections…