Normalized the names of some options.
Renamed extension manifest file.

Extension manifest does not need to change based on CC release, at least
for now.
Fixed a bug preventing certificate generation.