Allow to specify VampIR variable names

[lukaszcz]

• Closes Provide a way to specify main argument names in VampIR #2134

Adds the argnames pragma which specifies function argument names. These will be the names used in Core and subsequently in VampIR for the main function.

{-# argnames: [x, y] -#}
main : Nat -> Nat -> Nat;