[Transform] Restrict MoveMaxPoolPastMultiThreshold to MultiThreshold with unsigned output as maxpool padding may make this operation invalid

Add new transformation to give unique parameter tensors

* use make_new_valueinfo_name instead of own routine
* set dtype on newly created tensor

Merge branch 'dev' of https://github.com/Xilinx/finn into quetric-feature/GiveUniqueParameterTensors

Merge branch 'feature/GiveUniqueParameterTensors' of https://github.com/quetric/finn into quetric-feature/GiveUniqueParameterTensors

Run quicktest with GitHub Actions on PR

Changed how pyverilator is called, to support Vivado 2019.2

Merge branch 'feature/rtlsim_vivado2019.2' of https://github.com/quetric/finn into quetric-feature/rtlsim_vivado2019.2

Feature/fix streamline past eltwise add

[TEST] Add test linear_past_eltwise_add when the graph has multiple joins where to apply the transformation (was failing in this case) plu test moving linear tensor ops, not only scalar ones

[TRANSFORM] Generalize from past scalar to past any linear op (this was supported, but restricted). Fix node sorting problem, by iterating over a copy list of the node instead of iteration over graph.node. Fix corner case when both branches are empty and come from the same node

transform that moves scalar linear operations past eltwise add

Added Addstreams HLS Op

Implemented LabelSelect (TopK) HLS Op