Fix for optparse-applicative breaking change

`optparse-applicative-0.11.0` changes the type signature of `argument` from `(String -> Maybe a) -> Mod ArgumentFields a -> Parser ` to `ReadM a -> Mod ArgumentFields a -> Parser a`, so change `Idris.CmdOptions` accordingly.