Minify docs JS files

This fixes #354.

Notes:

~~1. Unfortunately, for some unknown reason to me yet, the device changer JS doesn't work anymore.~~
2. I specified `compress: true` in uglify on purpose so that we see the warnings

/CC @connor @connors: can you check out the branch and see why the aforementioned issue happens?

PS. I'll make another PR for JSHInt.