update to EIS 0.4

[Wouter1]

GOAL core now hard uses EIS0.4 and checks this.

Wumpus asks for 0.3 and thus can't run on the current GOAL. we need to fix this.

[Wouter1]

fixed. But there shows another issue #2