Merge master branch into natives_refactor

Fixes https://github.com/plasma-umass/doppio/issues/304 on the natives_refactor branch (browser compilation fails, but I think that's a known issue). Couldn't get this branch to build otherwise because it depends on the older DefinitelyTyped definitions.