Adjust Travis build sequences in line with 95c3c2105fb

Basically, this removes src/coalgebras from the truncated sequences.

Build sequences must have src/finite_maps before src/integer

Yet another fix for Travis sequences

Further tweak Travis's build sequence files

Fix Travis's selftest sequence for move of finite_map to finite_maps

Replace refs to src/llist with src/coalgebras in Travis build seqs

Put another small example into Travis self-test sequence

This required a change in the relevant Holmakefile so that the
hol88Lib.sml file got seen and included appropriately when not part of
the standard build sequence (Travis builds use custom build sequences
so that the tests stand a chance of completing in good time).

This particular test chosen because it would have made the error fixed
in 21392d97b apparent from Travis testing. I hope there are other
interesting bits of code exercised by this same example.

Add llist directory to Travis "selftest" sequence

Build sequence for Travis also needs adjusting.

Again, in light of 051995440c

A new example demonstrating the zipper datatype (over lists)

Partly inspired by a challenge from Tony Morris

Remove examples/misc from Travis selftestseq.

It depends on src/real because of root2Theory.

Add more stuff to the Travis selftestseq

Travis: try to get some examples tested

Do this by not building some theories under src, using a custom build
sequence.