agda-mode should work offline

[phadej]

Here are the error messages from all the attempts: 
Trying to connect to localhost:4096 : Error: connect ECONNREFUSED 127.0.0.1:4096
Trying to find the command "als": Cannot find the executable on PATH
Trying to download prebuilt from GitHub: Cannot get release info from GitHub:
Timeout after 10000ms. Please check your internet connection

I understand that at user need to get als, but I used the extension when I was online. I should be able to use it afterwards offline as well.