Improve Travis configuration and revert Yosys version

* Switch Yosys back to 0.7 with patch for moved ABC repo
* Add 30 min timeout for LEC tests
  * h/t https://stackoverflow.com/questions/43918874#44007537
* Move Travis building of Verilator and Yosys to prelude stage
* Don't use automatic Travis Scala tests, do it manually