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