Perform continuous integration (automatic non regression testing after each commit)

Almost everything is ready for this, but the final step has not yet been taken. It would speed up development if it were, by pinpointing quickly the problematic commits.