'Failure' tests maintenance.

* Added more tests for extension terminals (removals and modifications).
* Renamed tests for the names to be shorter.
* Reformulated some error messages for precision and consistency.
Added Travis CI intergration.

`run-all-tests' script is a bit hairy, but it does the job.
Some day I will make it better. I hope.

CI is currently enabled only for 'partitioning' branches.
It will be enabled for all branches when this gets merged into master.