IAS officer D.K Ravi’s death shakes Bangalore