Fix #1347: Document ECMAScript versions with badges
Fix #1415: GlobalScope extends js.Any only
Fix #1367: Add facade types for setTimeout et al.
Merge pull request #1416 from gzm0/ecma-badges

Fix #1347: Document ECMAScript versions with badges