Fix StarExec description files for new requirements.
Another check when making SMT-COMP submission zipfiles.