[Jikesrvm-core] Bash shell scripts now on trunk.

[Steven A. <au...@us...>]

The Bash shell scripts are now on the trunk.  The
Bash_Shell_Scripts_BRANCH is officially dead.