Add idris test configuration

Author: isberg

workspace/test_configurations.go

@@ -145,6 +145,9 @@ var TestConfigurations = map[string]TestConfiguration{
 	"haskell": {
 		Command: "stack test",
 	},
+	"idris": {
+		Command: "pack test `basename *.ipkg .ipkg`",
+	},
 	"j": {
 		Command: `jconsole -js "exit echo unittest {{test_files}} [ load {{solution_files}}"`,
 	},