Run deps when upgrading (#211)
Run deps when upgrading (#211)

* When upgrading user ASes, run env/deps.

We think it's necessary as that is what we do in the installation script.

* Don't call env/deps twice

mlegner/scion-coord,mlegner/scion-coord,netsec-ethz/scion-coord,mlegner/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord,mlegner/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord,mlegner/scion-coord,mlegner/scion-coord