Added files for each planned ACL2 module. Also added an example of defstructure to character.lisp and some reusable functions to utilities.lisp (including the random number list generator).