agdarsec is now instrumented!

This release:

• introduces a notion of parser parameters
• provides monad transformers for end users
• provides ways to instrument a parser (cf. blog post)

Tested with:

• Agda version 2.5.3
• Agda's standard library version 0.14