Added support for -- to indicate end of options. Fixes #12