Update devel/deforaos-configure to version 0.4.1

Among the changes upstream:
- introduction of configuration files per platform
- improved the generation of Makefiles
- support for commands as Makefile targets
- allow targets to be disabled by default
- support for more filename extensions
- support for spaces in filenames (with GNU Make)
- basic support for Java and Verilog
- integration with GCOV (for code coverage)
- additional test scripts

(khorben)