simulator: added --print-option option to print all options