add windmove and flora modules.
include XSB, Flora-2 and windmove configurations