(core) Cleanup removing some old unused files, fixing logo.css, and removing #grist-app.

Summary:
- Move logo.css to core, since it's not included otherwise
- Remove unused old DocList and ViewLinker files.
- Remove #grist-app div that was only serving to supply a background

Test Plan: No changes of behavior, existing tests should pass.

Reviewers: paulfitz

Reviewed By: paulfitz

Differential Revision: https://phab.getgrist.com/D2634

app/client/ui/App.css

@@ -9,16 +9,7 @@ body {
   font-size: 1.2rem;
   margin: 0;
   padding: 0;
-}
-
-#grist-app {
-  height: 100%;
-  display: -webkit-flex;
-  display: flex;
-  -webkit-flex-direction: column;
-  flex-direction: column;
-  -webkit-flex-wrap: nowrap;
-  flex-wrap: nowrap;
+  background: url('img/gplaypattern.png');
 }
 
 .g-help {

app/client/ui/App.ts

@@ -50,7 +50,7 @@ export class App extends DisposableWithEvents {
   // we can choose to refresh the client also.
   private _serverVersion: string|null = null;
 
-  constructor(private _appDiv: HTMLElement) {
+  constructor() {
     super();
 
     commands.init(); // Initialize the 'commands' module using the default command list.
@@ -80,7 +80,7 @@ export class App extends DisposableWithEvents {
     G.document.querySelector('#grist-logo-wrapper').remove();
 
     // Help pop-up pane
-    const helpDiv = this._appDiv.appendChild(
+    const helpDiv = document.body.appendChild(
       dom('div.g-help',
         dom.show(isHelpPaneVisible),
         dom('table.g-help-table',