Synchronising machines

Added some test files, changed test texts, changed way tests are put on
command line, edited test-testbenches