Remove devel and devel_themer from repository