Add term+ recipes
Fix recipes (type, depends) https://github.com/dimitri/el-get/pull/1008
Fixed omissions of last commit modify
Use current scala-mode repository.

The svn repo hasn't been updated in almost two years. The scala-dist
git repo contains the latest scala-mode.
add Emacs-Groovy-mode
Merge pull request #1009 from byronclark/updated-scala-mode

Use current scala-mode repository.
Merge pull request #1010 from shishi/add_emacs_groovy_mode

add Emacs-Groovy-mode
add solarized which for emacs built in color theme
Merge pull request #1008 from zonuexe/add/term+

Add term+ recipes
Merge pull request #986 from shishi/add_solarized

add solarized which emacs built in color theme
org-s5 recipe
Add o-blog depends on htmlize
Merge pull request #1013 from danielsz/org-s5

org-s5 recipe
Merge pull request #1014 from Yasushi/patch-1

Add o-blog depends on htmlize
Add slime-annot recipe

Signed-off-by: Julien Danjou <julien@danjou.info>
kibit-mode recipe (squashed)
Merge pull request #1015 from danielsz/kibit-mode

kibit-mode recipe (squashed)

closes #1011 and #1015
Add recipe checker command and script

* Add el-get-check-recipe command
* Add a script test/check-recipe.el
* Mention recipe checker in the document
* Add warnings to el-get-check-recipe
* Use @command instead of @code
* make el-get.info
* Use more expressive name than el-get-check-recipe-1
Merge pull request #1012 from tkf/recipe-checker

Add recipe checker command and script
Fix ProofGeneral compile error on OSX