Rename docs production script to production.

I guess eventually we could change this to JEKYLL_ENV=production.

EDIT:

I added a patch which uses JEKYLL_ENV since I find that cleaner. Let me know what you think.