robustify command-line option parsing

[Manu Sridharan]

Right now the file to be minimized needs to be passed as the final argument (I think). We should use a standard library so that the argument order isn't so sensitive.

[Esben Sparre Andreasen]

Fixed in #23