change of rocks servers

this PR changes the rocks servers to the two following locations:

"https://raw.githubusercontent.com/torch/rocks/master",
"https://raw.githubusercontent.com/torch/luarocks-mirror/master/rocks/"