books/bookvol13.pamphlet, ps/v13llvmtoacl2.eps file rename

Rename LLVMtoACL2.eps to v13llvmtoacl2.eps