travis: install iverilog