First commit to introduce random polarity selection on variables

When a new variable is chosen, randomly choose the variable's polarity
as chosen through a command line parameter.