updaed rocks base repository name

master repo is now called rocks repo

Signed-off-by: Luca Clementi <luca.clementi@gmail.com>