Reflection: add projections for Arg-info
Merge pull request #27 from crypto-agda/arg-info-proj

Reflection: add projections for Arg-info
[auto] merge master into gh-pages
[auto] updated html listings