Indonesia boosts security after bin Laden death