[VsCoq1] Webpack Client and Server

[4ever2]

This PR rebases and slightly improves the work of @fakusb in #266.
Webpacking the extension resulted in ~80% decrease in loading time and ~96% decrease in size (from 8.9MB to 289KB).

This supersedes #69, #176 and #266.

[maximedenes]

Are comments allowed here?

[4ever2]

Yes, comments are allowed in all VS Code configuration files.

[maximedenes]

Looks very good to me! @thery any opinion?

[thery]

@maximedenes Yes pretty pretty good. 😄 I'll test it and I'll merge it.

[thery]

Is this normal?

WARNING in ./node_modules/vscode-languageserver/lib/files.js 84:36-54
Critical dependency: the request of a dependency is an expression
 @ ./node_modules/vscode-languageserver/lib/main.js 19:11-29
 @ ./server/src/server.ts 13:32-64

WARNING in ./node_modules/vscode-languageserver/lib/files.js 319:15-28
Critical dependency: the request of a dependency is an expression
 @ ./node_modules/vscode-languageserver/lib/main.js 19:11-29
 @ ./server/src/server.ts 13:32-64

[4ever2]

Is this normal?

I don't think it is something we should worry about. It can be solved by upgrading vscode-languageserver to a more recent version.

[thery]

@4ever2 Thanks

[fakusb]

@4ever2 thanks for tying up this loose end :)