Added file export, definition files, and fixed some html
Merge branch 'master' of github.com:jj09/RandomMachine