Adding licenses to a with[out]-waterfall-parallelism.lisp.

Fixes #267
Merge branch 'master' of https://github.com/ragerdl/acl2
Lowering max mem for doc/top.lisp
Merge remote-tracking branch 'remotes/origin/beta'