add support for Xilinx ISE

This pull-request contains two commits, one preparing the build functions to take remaining
arguments as an argument and the second one, that makes use of the first,
adds support for Xilinx ISE.
The builder have been tested on an upcoming orpsoc-cores port for the Digilent Atlys  board.