simulator: added --short option to create a shorter statistics output