[ Utils ] new Sized instances and SizedThing wrapper.
Merge branch 'maint-2.4.2'
Fix bug with instance arguments introduced a few days ago
[ Utils ] Null instance for SizedThing.
Merge branch 'master' of github.com:agda/agda
Merge branch 'maint-2.4.2'
[ refactor ] Unified counting of variables when unquoting clauses
Building records from modules.

This commit does most of the work but does not introduce the
feature yet. It can be seen as a refactoring.

This patch and design is joint work with Daniel Gustafsson.
The design is based on discussions with Ulf Norell.
[ quote ] Use ignoreSharing when picking names
Merge branch 'maint-2.4.2'
Building records from modules (part 2)

This commit enables this feature in the parser.
Documents its behavior in the release notes.
There is two positive tests in test/succeed and
one negative in test/fail.
Merge branch 'master' of github.com:agda/agda into rec2
[ new ] Added new primitive `primDataNumberOfParameters'.
  It does what it says.
[ whitespace] fixed whitespace in test/succeed/RecordFromModule2.agda
[ hTags ] Bump hTags version

I've dropped support for GHC < 7.2.
[ test ] use $(AGDA_BIN) instead of agda in make epic-test
Merge remote-tracking branch 'origin/maint-2.4.2'
[ fix ] Delayed desugaring of `tactic' until typechecking by adding it to the abstract syntax.
[fix 1267] Constructors of records and datatype are not automatically instances anymore, you have to put them in an instance block
Fix examples.