Codemirror themes

Added codemirror themes
Created shell script for processing theme files
updated plugin to include those themes


Sorry, I'm including my previous commits. I don't know how to do it in a separate pull request. Those include adding Daniel Rodríguez to the contributors list.