Added devel.sh which has some apt-get commands to install various devel tools.