Improve agda2hs' test infrastructure

[jespercockx]

Currently the test infrastructure for agda2hs is stupid: for each test we need to add an import to AllTests.hs or else the test is not actually run. Instead we could adapt Agda's testing infrastructure using tasty-silver to make running the tests less error-prone.