[server-pro] remove ShareLaTeX branding from filesystem GitOrigin-RevId: c1d2c63bdc888d81e03bb1721e44b6ed6f64524b
[server-ce] fix shutdown sequence: flush document-updater before history GitOrigin-RevId: b46d25744cb18600e93b90e0ace5d4e1e563ebd2