[server-pro] remove ShareLaTeX branding from filesystem GitOrigin-RevId: c1d2c63bdc888d81e03bb1721e44b6ed6f64524b
[server-ce] add script for checking on old ShareLaTeX env vars GitOrigin-RevId: a60d6f7648d65c336054795affe91a349aa629cf