started working on new cmd arg parser

continued the work on getting the parser to work

works now, still work to do though

done with the parser, removed reduntant code, added metavars

maybe fixes build error...

changed test that used --exec without arg, and added warnreach which i forgot

removed out-commented code, added last metavar
Update idris.cabal
Implement reductions for for Buffer primitives.
Update the windows RTS files and consolidate the headers

No need to have two sets of headers if we move the includes to the
C file where they belong.
Some clean up.

Remove unused variable.

Fix indenting in produced code.
Add Enum instance for Fin.

And add more default methods to the class.
Move foldl into Foldable.
Reverse parameters to BoundedList.

Matches Vect now and makes instantiating type classes easier.

Also, added instances of Foldable and Functor.
Update evaluated variable after EVAL
Merge pull request #1239 from sellout/Fin-Enum

Add Enum instance for Fin.
Merge pull request #1238 from melted/cleanup

A little bit CodegenC cleaning
Merge pull request #1236 from sellout/buffers

Implement reductions for for Buffer primitives.
Merge pull request #1231 from melted/patch-1

Add the rts/windows files to idris.cabal
Merge pull request #1222 from klrr/split-bins

#897 optparse-applicative command line parser
Fixed typo in CmdOptions to reinstate `--checkpkg`
Update CHANGELOG.

Add entries for BoundedList and Foldable changes.
Merge branch 'master' of github.com:idris-lang/Idris-dev
Correct a typo in Prelude.idr

`predefine` was spelled `predifine`
Merge pull request #1247 from a3gis/patch-1

Correct a typo in Prelude.idr
Merge pull request #1246 from jfdm/fix/missing-cmd-options

Fixed typo in CmdOptions to reinstate `--checkpkg`