Start splitting 'alcotest' out of the other test bits.

This can be released separately later.
Use the new unified test driver
Cosmetic fixes in alcotest
More test cosmetics
Print the error message as well
Auto-scale the left column
Remove Key_store.succ, make the tests pass again