Renamed idemix_terminal package, organised imports