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'
Merge pull request #276 from ragerdl/master

License and doc/top.lisp memory adjustment