dev_setup.sh: apt-get update before installing packages

dev_setup.sh: apt-get update before installing packages #100