Improve some wording about using/building (Poly/ML) heaps.
Make Travis build core system in -expk as well as -stdknl.

Also shortened the "built with Poly in /usr/bin" test-case. If this
can get as far as building bossLib, then there's no reason to imagine
it failing later on. And why stress the free service at Travis unduly?