quickly switch apt sources for a faster apt-get install/update (especially useful in china when you play with vagrant or bootstrap a server)