Insufficient output

[HubertGaravel]

In its log on stdout, Storm does not display the name of the input model.
(Actually, it is displayed in the command line, but it is uneasy to extract it from
here, among all other arguments).

This is annoying when many models are processed in sequence and that one
wants to automatically extract the probabilities to build tables.

Suggestion: in the following table, insert a first line giving the name of the model.
This will be helpful for bulk use of Storm.

`

Model name: 56_0007_010.ma -- here, the new line to be inserted.
Model type: Markov Automaton (sparse)
States: 8560
Transitions: 36427
Choices: 9224
Markovian St.: 8008
Max. Rate: 146.16404
Reward Models: none
State Labels: 3 labels

• deadlock -> 0 item(s)
• init -> 1 item(s)
• avail -> 6145 item(s)
  Choice Labels: none

---

`

[volkm]

As the file name is part of the commandline arguments which are already printed, we did not yet consider it necessary to output the filename again.
When I am running experiments in bulk, I usually print the necessary information - such as filename or configuration options - on stdout before calling Storm. That way this information is contained in the log output as well.
For more involved calls I usually use the Python bindings stormpy which offer great flexibility.