changed widget.js to add some properties to the widget. Widgets now only get the gui options as a parameter instead of the whole configuration.

#!/bin/sh
sh ../res/ant/bin/ant -f client.xml