luarocks: added default servers including torch-rocks from github