Fix incorrect variable indices in maraboupy MarabouNetwork.varMap#440

Reginhar wants to merge 1 commit intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom

Reginhar:fix-varMapCopy head branch name to clipboard