autopilot: provide time information

- Log elapsed time per test in summary
- Command-line switch `--time-stamp` prefixes log output lines with
  current time stamp (requires ts utility from Debian package _moreutils_)

Fixes #1156.
run: check XML syntax of generated config files

Fixes #1005.
Configurable clearing of array in Bit_array_base

Fixes #1177.