[ fix-agda-whitespace ] Added excluded files.

test/succeed/WhiteSpace, test/fail/Tabs, and test/fail/TabsInPragmas
make only sense if they contain tabs, so they are exempt from the
whitespace check.
[ whitespace ] Restored test cases relying on tab characters.