New gulp task to create cache.manifest

Old task depended on an existing cache.manifest file was present, and would be updated.
Now we use a gulp plugin which generates the manifest file.

NOTE: For now, the mathjax injection is gone, but can be readded if needed at some point.

Conflicts:
	Gulpfile.js
	package.json