Switched to using cookies

The cookie method is better. Previously, the site had to make another
separate ajax GET request to download the output.

Now, the output is saved in a cookie that is stored when the server
is processing the code. This speeds up response time.

Some issues to address:
 - Unicode characters are not encoded to HTML entities
 - Double quotes surrounding the output