scripts/bootstrap.sh
2009-10-05 Add soplex support to scripts/bootstrap.sh plus...
2009-09-29 Simple interactive bootstrap script