List servers in debugger and access them directly.
Merge branch 'master' of https://github.com/weblabdeusto/weblabdeusto
Merge branch 'master' of https://github.com/weblabdeusto/weblabdeusto
[xilinxc]: Fixed pld-only bug
[xilinxc]: Fix to last commit
[xilinx]: Added max_use_time var, REPORT_TIME_LEFT command, and should_finish behaviour to the Xilinx experiments. By default, no use_time will be enforced.
[xilinx]: Minor fix
[xilinxc]: Fixed issue with cpld files. Entity and behaviour name must be Base, or it silently fails
[xilinxc]: Fix