Fix appscale down not kill appscale-tools

This is ready to be merged