Changing ccl acl2h std script to only build ACL2 when there are new sources.