Making etags.sh executable
Changing ccl acl2h std script to only build ACL2 when there are new sources.
Merge pull request #228 from ragerdl/master

Pull request from Rager's personal fork with a couple changes