adjusted mira configuration

--- a/Admin/mira.py	Fri Jan 14 16:14:51 2011 +0100
+++ b/Admin/mira.py	Fri Jan 14 17:20:36 2011 +0100
@@ -10,10 +10,6 @@
 
 import util
 
-from mira.environment import configuration
-
-from repositories import *
-
 
 # build and evaluation tools