Added bash script to test nachos with inputs 0-9999 to random seed.