Add recent changes

CHANGES.md

@@ -67,7 +67,7 @@ And many new instances:
 * [#1138](https://github.com/typelevel/cats/pull/1138): `SemigroupK` and `MonadCombine` for `StateT`
 * [#1128](https://github.com/typelevel/cats/pull/1128) `Semigroup` and `Monoid` for `Applicative`
 * [#1049](https://github.com/typelevel/cats/pull/1049): `CoflatMap` for `WriterT`
-* [#1076](https://github.com/typelevel/cats/pull/1076): `MonadRec` instances for `Eval` and `StateT`
+* [#1076](https://github.com/typelevel/cats/pull/1076) and [#1261](https://github.com/typelevel/cats/pull/1261): `MonadRec` instances for `Eval`, `StateT`, and `Future`
 * [#1105](https://github.com/typelevel/cats/pull/1105): `Unapply` instances for `Nested` shapes
 
 And stylistic improvements:
@@ -95,14 +95,16 @@ And improvements to the documentation:
 
 And the build:
 
-* [#1159](https://github.com/typelevel/cats/pull/1159): Binary compatibility checking for cats-kernel via MiMa 
+* [#1159](https://github.com/typelevel/cats/pull/1159): Binary compatibility checking for cats-kernel via MiMa
+* [#1256](https://github.com/typelevel/cats/pull/1256): More reliable Scala.js testing in Travis CI
 * [#1123](https://github.com/typelevel/cats/pull/1123): cats-kernel is now included in the API documentation
 * [#1051](https://github.com/typelevel/cats/pull/1051): Empty Scaladocs for 2.10 to avoid issues macros cause for API documentation generation on 2.10
 * [#1154](https://github.com/typelevel/cats/pull/1154): Better POM hygiene: no Scoverage dependency
 * [#1153](https://github.com/typelevel/cats/pull/1153) and [#1218](https://github.com/typelevel/cats/pull/1218): More consistent use of Simulacrum for syntax
 * [#1093](https://github.com/typelevel/cats/pull/1093): Scalastyle is now aware of shared and Scala.js-specific source files
 * [#1142](https://github.com/typelevel/cats/pull/1142): Additional formatting rules for Scalastyle
 * [#1099](https://github.com/typelevel/cats/pull/1099): Type lambda style is now enforced by Scalastyle
+* [#1258](https://github.com/typelevel/cats/pull/1258): Version updates for SBT and SBT plugins
 
 We also welcome [Kailuo Wang](https://github.com/typelevel/cats/pull/1129), [Peter Neyens](https://github.com/typelevel/cats/pull/1179), and [Oscar Boykin](https://github.com/typelevel/cats/pull/1180) as new Cats maintainers!