Fixed whitespace issues.
[ HACKING ] Updated documentation related to fix-agda-whitespace.