Reduce noise caused by wget download

On non-TTY, dot progress report is used and it generates lot of
output.

Switch to dot mode and use mega style, which reduces the noise
caused by it.
Update 1.3.x to latest 1.3.5
Merge branch 'master' into stable-1.3