sync CHANGES

Conflicts:
	CHANGES
Travis: simplify and just test on OPAM 1.2 now
Merge pull request #224 from rgrinberg/v0_15_0

V0 15 0