better check for extension of .app/.src/.script
Merge branch 'app_src_script' into erlide