move tex to thirdparty to satiate github's language classifier