CIF to mCRL2 transformation should support tau actions

CIF to mCRL2 currently does not support tau events, as is indicated in the documentation. A solution is to apply 'Eliminate tau event' as preprocessing, but that results in tau_ actions that are not recognized as tau by mCRL2.

It would be useful if CIF to mCRL2 transformed CIF tau events to mCRL2 tau actions.