fix scan_model:replace_text
remove erl_syntax stuff from kernel, use stdlib
extract cache handling to erlide_cache.erl
simplify erlide_cache api
fix some type specs