fixed whitespace
fixed typo in error message
Merge branch 'master' of https://github.com/agda/agda
added test case for issue 1245: parsing of operators in module arguments
fixed issue 1245: parsing of operators in module arguments