update configuration (add android dev + CEDET + more)