install.sh: allow proxy, mirrors, quieter, install and run librarian

On my windows boy I needed this fixes to get going since a) puppet/gem did not work locally b) I was sometimes behind a proxy firewall