Gray, in budget, proposes $100M overhaul of MLK Library