After two decades of neglect, Malleswaram’s Elephant Park gets a makeover