Changed location of ACL2 Modules, added in references for file io
Added in a font for display. Fixed the ACL2 IO issue but files still not running. Added in a demo for demonstration purposes.