2020 post update: My team and I have created geobr, an R pacakge that is one of the easiest and fastest ways to download the shapefiles from all sorts of official spatial data sets of Brazil, including data from the Brazilian Institute of Geography and Statistics (IBGE).
Related link:
