Testsuite: add -ignore-dot-ghci to some tests