cherry picked from vmlinz see #1121.

* update color-theme-zenburn's recipe, cause it's now based on deftheme
* new theme dream-theme from djcb

Conflicts:

	recipes/color-theme-zenburn.rcp
Add missing "
Merge pull request #1400 from snooprat/master

Add missing "
New recipe: ido-better-flex.rcp
ido-ubiquitous.rcp: use github instead of from elpa