config.sh: added a script for doing configure