ACL2 version bump
Revert "remove ball; in science overlay now"

This reverts commit b3459588f44ce44f3159b8331532c6f046a61b0f.
add emacs-concurrency
clang r192900 rename