IMCA is a command-line tool for analysing Markov automata