An extended editor for Worms 2 Configuration Files