January Release: v0.3.19

FYI, I plan to start the release process in an hour or so. If there is any last-minute PR you’d like to merge before, please do so ASAP.

[original thread by Marc Dumais]

Thanks for taking care of the release Marc

ok, I am starting. Please hold on merging

ok, all done

Big thanks to @vince-fugnitto for providing me with a much enhanced CHANGELOG, again for this release

See here for the highlights for this release: https://github.com/theia-ide/theia/blob/master/CHANGELOG.md