Added int vector comparisons: same functions as int comparison, with 'v'
as prefix.
Added `ignore` function for instruction used for side effect (no assignement).
Fixed type error in demo.ml (alloca instr).