updated install-ubuntu-12_04.sh to permit the use of a local repository