Update readme file for the new Bash front end, and other minor changes.