fix luarocks binary rock installation instructions

it seems luarocks has gotten more picky about package filenames, so we can't
directly install with the http links, which have "lua-5.1" or "lua-5.2" in the
package filenames.