Make TexLive installation into a seperate script.