Added TextureLibrary.mli
Added TextureLibrary.mli