I posted this one before already for changing windows DNS on the fly:
netsh interface ip set dns name="Local Area Connection" source=static addr=10.0.0.1
But you need figure out if IPvanish creates an interface and how its named with:
ipconfig /all
And probably you need to run as administrator to change network settings.
And below one might be useful:
route PRINT