Now uses the proper source code filename

Signed-off-by: Luca Clementi <luca.clementi@gmail.com>
added instruction on how to run rocksonbatlab

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