An edittext for android that supports syntax highlighting