Adding script written by Sebastiaan Joosten.
Fixing a typo
Merge branch 'master' of https://github.com/ragerdl/acl2