Míla Linc, inovátor Městské knihovny v Praze