Added dev-bootstrap.sh for Ubuntu 12.