revision: allow --end-of-options to end option parsing