Editor cleanup

- removed dead code referring to the former editors
- editor fix to work again when is_mobile=True (We/I broke it several months ago)
- fix editor in javascript mode, see https://groups.google.com/forum/#!topic/web2py/CA2vixMUSZk